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