Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/

FreshML is an extension of the programming language ML. The innovation of the language is the extension of algebraic data types with variable binding constructs. Bound variables are automatically renamed to prevent name clashes and variable capture.

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > FreshML
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback