MLton CoreML
Home  Index  Local Site Map
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

core-ml.sig 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.
Actions: AttachFile, Delete, Edit, Info, Rename Preferences