Andrew P. Tolmach. Optimizing ML Using a Hierarchy of Monadic Types. In Xavier Leroy, Atsushi Ohori, editors, Types in Compilation, Second International Workshop, TIC 98, Kyoto, Japan, March 25-27, 1998, Proceedings. Volume 1473 of Lecture Notes in Computer Science, pages 97-115, Springer, 1998. [doi]
Abstract is missing.