Putting Type Annotations to Work

Martin Odersky, Konstantin Läufer
January, 1996
PDF Cite DOI URL
Type
1
Publication
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996