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
Type Checking
The CoreML IntermediateLanguage has no independent type checker.