P. Jouvelot, D. Gifford. Algebraic Reconstruction of Types and Effects. In Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida, Pages 303-310, January 1991.
[ Parametricity ]
@InProceedings{jogi91,
Author = {Jouvelot, P. and Gifford, D.},
Title = {Algebraic Reconstruction of Types and Effects},
BookTitle = {Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida},
Pages = {303--310},
Publisher = {ACM Press},
Month = {January},
Year = {1991}
}
Get EndNote Reference (.ref)