Type-Directed Specialization of Polymorphism

Atsushi Ohori

研究成果: Article査読

5 被引用数 (Scopus)

抄録

Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, these two features conflict with each other in design and implementation of a modern statically typed programming language. Flexibility is achieved by a high-degree of polymorphism, which is based on generic primitives in an abstract model of computation, while efficiency requires optimal use of low-level primitives specialized to individual data structures. The motivation of this work is to reconcile these two features by developing a mechanism for specializing polymorphic primitives based on static type information. We analyze the existing methods for compiling a record calculus and an unboxed calculus, extract their common structure, and develop a framework for type-directed specialization of polymorphism.

本文言語English
ページ(範囲)64-107
ページ数44
ジャーナルInformation and Computation
155
1-2
DOI
出版ステータスPublished - 1999 11月 25
外部発表はい

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • 情報システム
  • コンピュータ サイエンスの応用
  • 計算理論と計算数学

フィンガープリント

「Type-Directed Specialization of Polymorphism」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル