Fresh O'Caml examples

The following examples are available for Fresh O'Caml. A naive implementation of Hindley-Milner type inference for a mini ML. A semantics-based interpreter for a miniature, untyped MetaML. Normalization by evaluation for untyped lambda terms. Program to calculate the possible labelled transitions from a process expression in the Milner-Parrow-Walker Pi-Calculus. Type checking and syntactic normalization for Polymorphic Lambda Calculus (PLC). Type checking and normalisation by evaluation for Polymorphic Lambda Calculus (PLC). Type-checking simply typed lambda calculus as an example of using general abstraction types.

Development Support

Additional 3rd party assistance with Fresh O'Caml development is available.