Mark P. Jones. Simplifying and Improving Qualified Types. In Proc.\ Conf. on Functional Programming Languages and Computer Architecture (FPCA), La Jolla, California, June 1995.
[ Parametricity ]
@InProceedings{mjones95c,
Author = {Jones, Mark P.},
Title = {Simplifying and Improving Qualified Types},
BookTitle = {Proc.\ Conf. on Functional Programming Languages and Computer Architecture (FPCA), La Jolla, California},
Publisher = {ACM Press},
Month = {June},
Year = {1995}
}
Get EndNote Reference (.ref)