Polymorphism by name for references and continuations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1993

Polymorphism by name for references and continuations


This article investigates an ML-like language with by-name semantics for polymorphism: polymorphic objects are not evaluated once for all at generalization time, but re-evaluated at each specialization. Unlike the standard ML semantics, the by-name semantics works well with polymorphic references and polymorphic continuations: the naive typing rules for references and for continuations are sound with respect to this semantics. Poly-morphism by name leads to a better integration of these imperative features into the ML type discipline. Practical experience shows that it retains most of the efficiency and predictability of polymorphism by value.
Fichier principal
Vignette du fichier
polymorphism-by-name.pdf (180.45 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01499970 , version 1 (01-04-2017)



Xavier Leroy. Polymorphism by name for references and continuations. POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. pp.220-231, ⟨10.1145/158511.158632⟩. ⟨hal-01499970⟩
189 View
218 Download



Gmail Mastodon Facebook X LinkedIn More