Mark Jones. A Theory of Qualified Types. Science of Computer Programming, 22:231-256, 1994.
[ Parametricity ]
@article{mjones94,
Author = {Jones, Mark},
Title = {A Theory of Qualified Types},
Journal = {Science of Computer Programming},
Volume = {22},
Pages = {231--256},
Year = {1994}
}
Get EndNote Reference (.ref)