MLton 20051202 CoreML
Home  Index  
Core ML is an IntermediateLanguage, translated from AST by Elaborate, optimized by CoreMLSimplify, and translated by Defunctorize to XML.

Description

CoreML is polymorphic, higher-order, and has nested patterns.

Implementation

[WWW]core-ml.sig [WWW]core-ml.fun

Type Checking

The CoreML IntermediateLanguage has no independent type checker.

Details and Notes


Last edited on 2005-12-01 03:00:12 by StephenWeeks.