Jump to : Keyword | Contact | BibTex reference | EndNote reference |

jim96

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.

Keyword

[ Parametricity ]

Contact

T. Jim

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)