An implementation of the Elf core language in Standard ML. Available via ftp over the Internet (1991)

by Frank Pfenning