Logic in Computer Science (LICS 1989)

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

Authors: Abadi, M. Pierce, B. Plotkin, G.

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 = 	 {Abadi, M. and Pierce, B. and Plotkin, G.},
    title = 	 {Faithful ideal models for recursive polymorphic types},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1989},
    year =	 1989,
    editor =	 {Rohit Parikh},
    month =	 {June}, 
    pages =      {216--225},
    location =   {Pacific Grove, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }