Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones & Simon Marlow (2005):
Associated types with class.
In: Jens Palsberg & Martín Abadi: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005.
ACM,
pp. 1–13,
doi:10.1145/1040305.1040306.
Available at http://dl.acm.org/citation.cfm?id=1040305.
Pierre Chambart & Grégoire Henry (2012):
Experiments in Generic Programming.
OCaml Users and Developers Workshop.
Dominique Devriese & Frank Piessens (2011):
On the bright side of type classes: instance arguments in Agda.
In: Manuel M. T. Chakravarty, Zhenjiang Hu & Olivier Danvy: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011.
ACM,
pp. 143–155,
doi:10.1145/2034773.2034796.
Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren & S. Doaitse Swierstra (2007):
Modelling Scoped Instances with Constraint Handling Rules.
Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty & Gabriele Keller (2007):
Modular type classes.
In: Martin Hofmann & Matthias Felleisen: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007.
ACM,
pp. 63–70,
doi:10.1145/1190216.1190229.
Available at http://dl.acm.org/citation.cfm?id=1190216.
Jacques Garrigue & Leo White (2014):
Type-level module aliases: independent and equal.
ML Family Workshop.
Douglas Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis & Andrew Lumsdaine (2006):
Concepts: linguistic support for generic programming in C++.
In: Peri L. Tarr & William R. Cook: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA.
ACM,
pp. 291–310,
doi:10.1145/1167473.1167499.
Mark P. Jones (1995):
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.
J. Funct. Program. 5(1),
pp. 1–35,
doi:10.1017/S0956796800001210.
Simon Peyton Jones, Mark Jones & Erik Meijer (1997):
Type classes: exploring the design space.
In: Haskell workshop 1997.
Stefan Kaes (1988):
Parametric Overloading in Polymorphic Programming Languages.
In: Harald Ganzinger: ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings,
Lecture Notes in Computer Science 300.
Springer,
pp. 131–144,
doi:10.1007/3-540-19027-9_9.
Ralf Lämmel & Simon Peyton Jones (2003):
Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming.
SIGPLAN Not. 38(3),
pp. 26–37,
doi:10.1145/640136.604179.
Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy & Jérôme Vouillon (2014):
The OCaml system release 4.02: Documentation and user's manual.
Interne.
Inria.
Available at https://hal.inria.fr/hal-00930213.
Assia Mahboubi & Enrico Tassi (2013):
Canonical Structures for the Working Coq User.
In: Sandrine Blazy, Christine Paulin-Mohring & David Pichardie: Interactive Theorem Proving,
Lecture Notes in Computer Science 7998.
Springer Berlin Heidelberg,
pp. 19–34,
doi:10.1007/978-3-642-39634-2_5.
The Rust programming language.
http://www.rust-lang.org.
Bruno C. d. S. Oliveira, Adriaan Moors & Martin Odersky (2010):
Type classes as objects and implicits.
In: William R. Cook, Siobhán Clarke & Martin C. Rinard: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA.
ACM,
pp. 341–360,
doi:10.1145/1869459.1869489.
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee & Kwangkeun Yi (2012):
The implicit calculus: a new foundation for generic programming.
In: Jan Vitek, Haibo Lin & Frank Tip: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012.
ACM,
pp. 35–44,
doi:10.1145/2254064.2254070.
Available at http://dl.acm.org/citation.cfm?id=2254064.
Matthieu Sozeau & Nicolas Oury (2008):
First-Class Type Classes.
In: Otmane Aït Mohamed, César A. Muñoz & Sofiène Tahar: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings,
Lecture Notes in Computer Science 5170.
Springer,
pp. 278–293,
doi:10.1007/978-3-540-71067-7_23.
Don Syme, Luke Hoban, Tao Liu, Dmitry Lomov, James Margetson, Brian McNamara, Joe Pamer, Penny Orwick, Daniel Quirk & Chris Smith (2005):
The F# 3.0 Language Specification.
Philip Wadler & Stephen Blott (1989):
How to Make ad-hoc Polymorphism Less ad-hoc.
In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989.
ACM Press,
pp. 60–76,
doi:10.1145/75277.75283.
Available at http://dl.acm.org/citation.cfm?id=75277.
Stefan Wehr & Manuel M. T. Chakravarty (2008):
ML Modules and Haskell Type Classes: A Constructive Comparison.
In: G. Ramalingam: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings,
Lecture Notes in Computer Science 5356.
Springer,
pp. 188–204,
doi:10.1007/978-3-540-89330-1_14.
Jeremy Yallop & Leo White (2014):
Lightweight Higher-Kinded Polymorphism.
In: Michael Codish & Eijiro Sumii: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings,
Lecture Notes in Computer Science 8475.
Springer,
pp. 119–135,
doi:10.1007/978-3-319-07151-0_8.