%0 Conference Proceedings %F odla96 %A Odersky, Martin %A Läufer, Konstantin %T Putting Type Annotations to Work %B Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida %P 54-67 %C New York, N.Y %8 January %D 1996 %K parametricity