@InProceedings{odersky:polarized,
  author = 	 "Martin Odersky",
  title = 	 "Polarized Name Passing",
  series =	 "LNCS",
  booktitle =	 "Proc. FST \& TCS",
  year =	 1995,
  publisher =	 "Springer Verlag",
  month =	 dec
}