MLton 20070826 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 2006-11-02 17:56:39 by MatthewFluet.