mjones94

Mark Jones. A Theory of Qualified Types. Science of Computer Programming, 22:231-256, 1994.

Keyword

[ Parametricity ]

Contact

Mark P. Jones

BibTex Reference

@article{mjones94,
   Author = {Jones, Mark},
   Title = {A Theory of Qualified Types},
   Journal = {Science of Computer Programming},
   Volume = {22},
   Pages = {231--256},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)