@Article{harper+:pta-cps-lasc,
  author = 	 "Robert Harper and Mark Lillibridge",
  title = 	 "Polymorphic Type Assignment and {CPS} Conversion",
  journal = 	 lasc,
  year = 	 "1993",
  volume = 	 "6",
  number =       "4",
  pages = 	 "361--380",
  month = 	 "November"
}