Xavier Leroy. Polymorphism by name for references and continuations. In POPL 1993: 20th symposium Principles of Programming Languages, pages 220--231. ACM, 1993.

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. Polymorphism 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.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.