Nemerle is a high-level statically-typed programming language for the .NET platform. It offers functional, object-oriented and imperative features. It has a simple C#-like syntax and a powerful meta-programming system.
"HaMLet is a faithful implementation of the Standard ML programming language (SML'97)." Written entirely in Standard ML, with the ability to bootstrap; may readily be compiled with SML/NJ, Moscow ML, or MLton; written with the goal of experimentation in mind. Interpretation is highly inefficient (since it is a direct implementation of the semantic rules) and error messages are very taciturn.
A method of building recursive functions in systems that don't have a data stack is presented...We reduce beautiful recursive code to unintelligible spaghetti code that uses less memory and sometimes is faster.