Sciweavers

LICS
1989
IEEE

Faithful Ideal Models for Recursive Polymorphic Types

13 years 7 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yields a close fit between models and programming language. Two of our semantics of type expressions are faithful, in the sense that programs that behave identically in all contexts have exactly the same types.
Martín Abadi, Benjamin C. Pierce, Gordon D.
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1989
Where LICS
Authors Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
Comments (0)