Units: Cool Modules for HOT Languages.

Matthew Flatt, Matthias Felleisen

Browse the full PLDI paper archive.