@InProceedings{ nystrom2008x10,
  author = 	 {Nathaniel Nystrom and Vijay Saraswat and Jens Palsberg and Christian Grothoff},
  title = 	 {Constrained Types for Object-Oriented Languages},
  booktitle = "Proceedings of the 23rd {ACM SIGPLAN} conference on Object-oriented programing, systems, languages, and applications",
  pages = 	 {457--474},
  year = 	 {2008},
  publisher = {ACM SIGPLAN},
}