Constraint-Based Type Inference
Simply-Typed Lambda-Calculus

Computation and Deduction
Section ?
Author: Frank Pfenning

constraints.elf        --- inference and correctness proofs

Examples

examples.quy           --- sample queries