@Article{mmm:tapos99,
  author = 	 {Martin Odersky, Martin Sulzmann and Martin Wehr},
  title = 	 {Type Inference with Constrained Types},
  journal = 	 {TAPOS},
  year = 	 1999,
  volume =	 5,
  number =	 1
}