Trevor Jim. What Are Principal Typings and What Are They Cood For?. In Proc. 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, Florida, Pages 42-53, January 1996.
[ Parametricity ]
@InProceedings{jim96,
Author = {Jim, Trevor},
Title = {What Are Principal Typings and What Are They Cood For?},
BookTitle = {Proc. 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), St. Petersburg Beach, Florida},
Pages = {42--53},
Publisher = {ACM Press},
Month = {January},
Year = {1996}
}
Get EndNote Reference (.ref)