Skip to content

Putting Type Annotations to Work.

Martin Odersky, Konstantin Lufer

VenueA*POPL
Year1996
ProceedingsPOPL

Browse the full POPL paper archive.