R. Cosmo. Type Isomorphisms in a Type-Assignment Framework. In Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico, Pages 200-210, January 1992.
[ Rectype ]
@InProceedings{cosmo92,
Author = {Cosmo, R.},
Title = {Type Isomorphisms in a Type-Assignment Framework},
BookTitle = {Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico},
Pages = {200--210},
Publisher = {ACM Press},
Month = {January},
Year = {1992}
}
Get EndNote Reference (.ref)