Report - HaMLetrossberg/hamlet/hamlet-2.0.0.pdf · 1 Introduction HaMLet is an implementation of Standard ML (SML’97), as defined in The Definition of StandardML [MTHM97]–simplyreferredtoastheDefinitioninthefollowingtext.

Please pass captcha verification before submit form