Jon92

Mark P. Jones. A Theory of Qualified Types. In Proc. European Symposium on Programming (ESOP), Rennes, France, Lecture Notes in Computer Science, Vol. 582, 1992.

Keyword

[ Parametricity ]

Contact

Mark P. Jones

BibTex Reference

@InProceedings{Jon92,
   Author = {Jones, Mark P.},
   Title = {A Theory of Qualified Types},
   BookTitle = {Proc. European Symposium on Programming (ESOP), Rennes, France},
   Publisher = {Springer-Verlag},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)