Putting type annotations to work (1996)

by Martin Odersky, Konstantin Läufer
Venue:In ACM Symposium on Principles of Programming Languages (POPL