Unboxed operational semantics for ML polymorphism

Atsushi Ohori, Tomonobu Takamizawa

研究成果: Article査読

2 被引用数 (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.

本文言語English
ページ(範囲)61-91
ページ数31
ジャーナルLISP and Symbolic Computation
10
1
DOI
出版ステータスPublished - 1997 6月 1
外部発表はい

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)

フィンガープリント

「Unboxed operational semantics for ML polymorphism」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル