Optimizing ML using a hierarchy of monadic types

Lecture Notes in Computer Science - Types in Compilation ◽

10.1007/bfb0055514 ◽

1998 ◽

pp. 97-115 ◽

Cited By ~ 6

Author(s):

Andrew Tolmach

Download Full-text