@InProceedings{harper+:intensional,
  author = 	 "Robert Harper and Greg Morrisett",
  title = 	 "Compiling Polymorphism Using Intensional Type Analysis",
  pages =	 "130--141",
  booktitle =	 twentysecond # popl,
  year =	 1995,
  address =	 "San Francisco, CA",
  month =	 "January"
}