SML (Standard Meta Language) is a functional programing language invented at Bell Labs. We are writing a translator to convert SML code to Java. This is an interesting project because SML and Java represent very different programing paradigms. While SML is functional and includes first order functions, closures, and tuples, Java is object oriented and lacks these foregoing features.
SML2Java was developed by Justin Kozer, Haakon Larson, and Jeff Vaughan under the guidance of Prof. Dexter Kozen. We pressented this reasearch at PLI '03 in the paper SML2Java: A Source to Source Translator
Read our final report, or the see slides from our Bits On Our Mind 2004 poster presentation. Our cvs archive is publicly readable at http://cvs.cs.cornell.edu:12000/cvsweb/sml2java/.