J. Lucassen, D. Gifford. Polymorphic Effect Systems. In Proc. 15th ACM Symp. on Principles of Programming Languages, Pages 47-57, San Diego, California, January 1988.
[ Parametricity ]
@InProceedings{lugi88,
Author = {Lucassen, J. and Gifford, D.},
Title = {Polymorphic Effect Systems},
BookTitle = {Proc. 15th ACM Symp. on Principles of Programming Languages},
Pages = {47--57},
Address = {San Diego, California},
Month = {January},
Year = {1988}
}
Get EndNote Reference (.ref)