An Unboxed Operational Semantics for ML Polymorphism. - Atsushi Ohori; Tomonobu Takamizawa (LISP Symb. Comput., 1997)