Mini-ML with Recursive Types, Polymorphism, Abstract Types

Computation and Deduction
Chapters ??
Author: Frank Pfenning

mini-ml.elf     --- expressions, types, typing rules
eval.elf        --- evaluation
tp-preserve.elf --- type preservation proof

examples.quy    --- example queries

sources.cfg     --- standard configuration