odla96

Martin Odersky, Konstantin Läufer. Putting Type Annotations to Work. In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida, Pages 54-67, New York, N.Y, January 1996.

Keyword

[ Parametricity ]

Contact

Martin Odersky
K. Läufer

BibTex Reference

@InProceedings{odla96,
   Author = {Odersky, Martin and Läufer, Konstantin},
   Title = {Putting Type Annotations to Work},
   BookTitle = {Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida},
   Pages = {54--67},
   Address = {New York, N.Y},
   Month = {January},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)