@TechReport{chen-odersky-hudak:parametric-tr,
  author = 	"Kung Chen and Martin Odersky and Paul Hudak",
  title = 	"Type Inference for Parametric Type Classes",
  institution = 	"Yale University Department of Computer Science",
  year = 	"1992",
  type = 	"Research Report",
  number = 	"YALEU/DCS/RR-900",
  address = 	"New Haven, Connecticut",
  month = 	"June"
}