Fresh ML
Program-Transformation.Org: The Program Transformation Wiki
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.