Atsushi Ohori, Tomonobu Takamizawa. An Unboxed Operational Semantics for ML Polymorphism. Higher-Order and Symbolic Computation, 10(1):61-91, 1997.
@article{OhoriT97, title = {An Unboxed Operational Semantics for ML Polymorphism}, author = {Atsushi Ohori and Tomonobu Takamizawa}, year = {1997}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/OhoriT97}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {10}, number = {1}, pages = {61-91}, }