mjones92

Mark P. Jones. A Theory of Qualified Types. In Proc. 4th European Symposium on Programming (ESOP), Rennes, France, Bernd Krieg-Br\"uckner (ed.), Lecture Notes in Computer Science, Volume 582, Pages 287-306, February 1992.

Keyword

[ Parametricity ]

Contact

Mark P. Jones

BibTex Reference

@InProceedings{mjones92,
   Author = {Jones, Mark P.},
   Title = {A Theory of Qualified Types},
   BookTitle = {Proc. 4th European Symposium on Programming (ESOP), Rennes, France},
   editor = {Krieg-Br\"uckner, Bernd},
   Volume = {582},
   Pages = {287--306},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {February},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)