Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Putting Type Annotations to Work
Martin Odersky
,
Konstantin Läufer
January, 1996
PDF
Cite
DOI
URL
Type
Conference paper
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
Cite
×