Optimizing ML using a hierarchy of monadic types (1998)

by A Tolmach
Venue:In Workshop on Types in Compilation