Optimizing ML Using a Hierarchy of Monadic Types.

Andrew P. Tolmach Optimizing ML Using a Hierarchy of Monadic Types. 97-115 http://link.springer.de/link/service/series/0558/bibs/1473/14730097.htm 1998 conf/tic/1998 Types in Compilation db/conf/tic/tic1998.html#Tolmach98