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.
A. Saha, and D. Johnson. VANET '04: Proceedings of the 1st ACM international workshop on Vehicular ad hoc networks, page 91--92. New York, NY, USA, ACM, (2004)
Z. Chen, H. Kung, and D. Vlah. MobiHoc '01: Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing, page 247--250. New York, NY, USA, ACM, (2001)
V. Naumov, R. Baumann, and T. Gross. MobiHoc '06: Proceedings of the 7th ACM international symposium on Mobile ad hoc networking and computing, page 108--119. New York, NY, USA, ACM, (2006)
N. Eude, B. Ducourthial, and M. Shawky. Proceedings of the 7th IFIP International Conference on Mobile and Wireless Communications Networks (MWCN 2005), Morocco, september, (2005)