Paper: Faithful ideal models for recursive polymorphic types (at LICS 1989)

Authors: Martín Abadi Benjamin C. Pierce Gordon D. Plotkin

Abstract

Ideal models are explored for a programming language with recursive polymorphic types, variants of the model studied by D. MacQueen et al. (Inf. Control, vol.71, pp.95-130, 1986). The use of suitable ideals yields a close fit between models and programming language. Two of the authors' semantics of type expressions are faithfully, in the sense that programs that behave identically in all contexts have exactly the same types

BibTeX

  @InProceedings{AbadiPiercePlotkin-Faithfulidealmodels,
    author = 	 {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
    title = 	 {Faithful ideal models for recursive polymorphic types},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)},
    year =	 {1989},
    month =	 {June}, 
    pages =      {216--225},
    location =   {Pacific Grove, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }