Optimizing ML using a hierarchy of monadic types (1998)

by A Tolmach
Venue:In Proceedings of the Workshop on Types in Compilation, Kyoto