Putting type annotations to work (1996)

by Martin Odersky, Konstantin Läufer
Venue:In Proceedings of the 23rd ACM Conference on Principles of Programming Languages