An unboxed operational semantics for ML polymorphism (1997)

by A Ohori, T Takamizawa
Venue:Lisp and Symbolic Computation