| hm.ml | A naive implementation of Hindley-Milner type inference for a mini ML. |
| minimetaml.ml | A semantics-based interpreter for a miniature, untyped MetaML. |
| nbe.ml | Normalization by evaluation for untyped lambda terms. |
| nomst.ml | Normalization by evaluation for Nominal System T. |
| pi-caclulator.ml | Program to calculate the possible labelled transitions from a process expression in the Milner-Parrow-Walker Pi-Calculus. |
| plc.ml | Type checking and syntactic normalization for Polymorphic Lambda Calculus (PLC). |
| plc-nbe.ml | Type checking and normalisation by evaluation for Polymorphic Lambda Calculus (PLC). |
| stlc.ml | Type-checking simply typed lambda calculus as an example of using general abstraction types. |
Last modified: $Date: 2007/02/06 12:59:55 $