CoreML - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | 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

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.