Andrew__Tolmach
Combining closure conversion with closure analysis using algebraic types
From ML to Ada: Strongly-typed language interoperability via source translation
Optimizing ML using a hierarchy of monadic types
Tag-free garbage collection using explicit type parameters