HaMLet - reference implementation of Standard ML

https://people.mpi-sws.org/~rossberg/hamlet/