@InProceedings{odersky-laufer:annotations-conf,
   author = 	 {Martin Odersky and Konstantin L\"aufer},
  title = 	 "Putting Type Annotations To Work",
  booktitle =	 "Proc. 23rd ACM Symposium on Principles of
		  Programming Languages",
  year =	 1996,
  pages = {54-67},
  month =	 jan,
}