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.
F. Niephaus, T. Felgentreff, and R. Hirschfeld. Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, page 30--35. ACM, (July 2018)