References

  1. 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.
  2. Pierre Chambart & Grégoire Henry (2012): Experiments in Generic Programming. OCaml Users and Developers Workshop.
  3. 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.
  4. Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren & S. Doaitse Swierstra (2007): Modelling Scoped Instances with Constraint Handling Rules.
  5. 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.
  6. Jacques Garrigue & Leo White (2014): Type-level module aliases: independent and equal. ML Family Workshop.
  7. 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.
  8. 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.
  9. Simon Peyton Jones (2002): Haskell 98 Language and Libraries: The Revised Report. http://haskell.org/. Available at http://haskell.org/definition/haskell98-report.pdf.
  10. Simon Peyton Jones, Mark Jones & Erik Meijer (1997): Type classes: exploring the design space. In: Haskell workshop 1997.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. The Rust programming language. http://www.rust-lang.org.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org