Unboxed operational semantics for ML polymorphism

Atsushi Ohori, Tomonobu Takamizawa

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


An unboxed operational semantics for an ML-style polymorphic language is presented. Different from the conventional formalisms, the proposed semantics accounts for actual representations of run-time objects of various types, and supports a refined notion of polymorphism that allows polymorphic functions to be applied directly to values of various different representations. The ML type system is shown to be sound with respect to the operational semantics realized by the translation.

Original languageEnglish
Pages (from-to)61-91
Number of pages31
JournalLISP and Symbolic Computation
Issue number1
Publication statusPublished - 1997 Jun 1
Externally publishedYes

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Unboxed operational semantics for ML polymorphism'. Together they form a unique fingerprint.

Cite this