@Unpublished{sulzmann-etal:FC,
  author = 	 {Martin Sulzmann and Manuel M. T. Chakravarty and Simon 
		  Peyton Jones},
  title = 	 {{System F} with Type Equality Coercions},
  year = 	 {2006},
}

@inproceedings{chak-etal:at-syns,
 author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon 
	   {Peyton Jones}},
 title = {Associated Type Synonyms},
 booktitle = {ICFP '05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming},
 year = {2005},
 isbn = {1-59593-064-7},
 pages = {241--253},
 location = {Tallinn, Estonia},
 doi = {http://doi.acm.org/10.1145/1086365.1086397},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{chak-etal:ATs,
 author = {Manuel M. T. Chakravarty and Gabriele Keller and Simon 
	   {Peyton Jones} and Simon Marlow},
 title = {Associated Types with Class},
 booktitle = {POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Sysposium on Principles of Programming Languages},
 year = {2005},
 isbn = {1-58113-830-X},
 pages = {1--13},
 location = {Long Beach, California, USA},
 doi = {http://doi.acm.org/10.1145/1040305.1040306},
 publisher = {ACM Press},
 }

@article{hall-etal:class-haskell,
 author = {Cordelia V. Hall and Kevin Hammond and Simon L. Peyton Jones and Philip L. Wadler},
 title = {Type classes in {Haskell}},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {18},
 number = {2},
 year = {1996},
 issn = {0164-0925},
 pages = {109--138},
 doi = {http://doi.acm.org/10.1145/227699.227700},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@TechReport{remy:ml-eq-theory,
  author = 	 {Didier R{\'e}my},
  title = 	 {Extending {ML} Type System with a Sorted Equational Theory},
  institution =  {INRIA Rocquencourt},
  year = 	 1992,
  type =	 {Research Report},
  number =	 1766
}

@inproceedings{neubauer-etal:funlog-overloading,
 author = {Matthias Neubauer and Peter Thiemann and Martin Gasbichler and Michael Sperber},
 title = {Functional logic overloading},
 booktitle = {POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2002},
 isbn = {1-58113-450-9},
 pages = {233--244},
 location = {Portland, Oregon},
 doi = {http://doi.acm.org/10.1145/503272.503294},
 publisher = {ACM Press},
}

@inproceedings{neuerbauer-thiemann:tc-ho-poly,
 author = {Matthias Neubauer and Peter Thiemann},
 title = {Type classes with more higher-order polymorphism},
 booktitle = {ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
 year = {2002},
 isbn = {1-58113-487-8},
 pages = {179--190},
 location = {Pittsburgh, PA, USA},
 doi = {http://doi.acm.org/10.1145/581478.581496},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@Article{odersky-etal:HMX,
  author = 	 {Martin Odersky and Martin Sulzmann and Martin Wehr},
  title = 	 {Type inference with constrained types},
  journal = 	 {Theory and Practice of Object Systems},
  year = 	 1999,
  volume =	 5,
  number =	 1
}

@InProceedings{xi-etal:guarded-datatypes,
  author = 	 {Hongwei Xi and Chiyan Chen and Gang Chen},
  title = 	 {Guarded Recursive Datatype Constructors},
  booktitle = 	 {Proceedings of the 30th {ACM} {SIGPLAN-SIGACT} Symposium on 
		  Principles of Programming Languages},
  pages =	 {224--235},
  year =	 2003,
  publisher =	 {ACM Press}
}

@TechReport{cheney-hinze:1st-class-phantom,
  author = 	 {James Cheney and Ralf Hinze},
  title = 	 {First-Class Phantom Types},
  institution =  {Cornell University},
  year = 	 2003,
  type =	 {Technical Report},
  number =	 {TR2003-1901},
  url =		 {http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1901}
}

@InProceedings{hinze-peyton-jones:deriv-class,
  author = 	 {Ralf Hinze and Simon {Peyton Jones}},
  title = 	 {Derivable Type Classes},
  booktitle = 	 {Proceedings of the 2000 ACM SIGPLAN Haskell Workshop},
  year =	 2001,
  editor =	 {Graham Hutton},
  volume =	 {41.1},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier Science}
}

@InProceedings{jones:improving-qualified-types,
  author = 	 {Mark P. Jones},
  title = 	 {Simplifying and Improving Qualified Types},
  booktitle = 	 {FPCA '95: Conference on Functional Programming Languages and
		 Computer Architecture},
  year =	 1995,
  publisher =	 {ACM Press}
}

@Article{jones:constr-class,
  author = 	 "Mark P. Jones",
  title = 	 "A System of Constructor Classes: Overloading and
		  Implicit Higher-Order Polymorphism",
  journal =	 "Journal of Functional Programming",
  volume =	 5,
  number =	 1,
  year =	 1995,
}