Optimizing ML Using a Hierarchy of Monadic Types (1998)

by Andrew Tolmach
Venue:WORKSHOP ON TYPES IN COMPILATION, KYOTO