The following examples are available for Fresh O'Caml.
|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.|
|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.|
Additional 3rd party assistance with Fresh O'Caml development is available.