References

  1. Andreas Abel (2010): MiniAgda: Integrating Sized and Dependent Types. In: Ana Bove, Ekaterina Komendantskaya & Milad Niqui: Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, EPTCS 43, doi:10.4204/EPTCS.43.2.
  2. Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor McBride & Peter Morris: Indexed Containers. Unpublished manuscript, available at http://strictlypositive.org/indexed-containers.pdf.
  3. Richard Bird & Lambert Meertens (1998): Nested datatypes. In: Johan Jeuring: Mathematics of Program Construction, LNCS 1422. Springer, pp. 52–67, doi:10.1007/BFb0054285.
  4. Manuel M. T. Chakravarty, Gabriel C. Ditu & Roman Leshchinskiy (2009): Instant Generics: Fast and Easy. Available at http://www.cse.unsw.edu.au/~chak/papers/CDL09.html.
  5. James Chapman, Pierre-Évariste Dagand, Conor McBride & Peter Morris (2010): The gentle art of levitation. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP '10. ACM, New York, NY, USA, pp. 3–14, doi:10.1145/1863543.1863547.
  6. James Cheney & Ralf Hinze (2002): A lightweight implementation of generics and dynamics. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell '02. ACM, New York, NY, USA, pp. 90–104, doi:10.1145/581690.581698.
  7. Nils Anders Danielsson & Thorsten Altenkirch (2010): Subtyping, Declaratively. In: Claude Bolduc, Jules Desharnais & Béchir Ktari: Mathematics of Program Construction, LNCS 6120. Springer Berlin / Heidelberg, pp. 100–118, doi:10.1007/978-3-642-13321-3_8.
  8. Jeremy Gibbons (2007): Datatype-Generic Programming. In: Spring School on Datatype-Generic Programming, LNCS 4719. Springer, pp. 1–71, doi:10.1007/978-3-540-76786-2_1.
  9. Ralf Hinze (2006): Generics for the Masses. Journal of Functional Programming 16(4-5), pp. 451–483, doi:10.1017/S0956796806006022.
  10. Ralf Hinze, Johan Jeuring & Andres Löh (2007): Comparing Approches to Generic Programming in Haskell. In: Datatype-Generic Programming, LNCS 4719. Springer, pp. 72–149, doi:10.1007/978-3-540-76786-2_2.
  11. Ralf Hinze & Andres Löh (2009): Generic programming in 3D. Science of Computer Programming 74, pp. 590–628, doi:10.1016/j.scico.2007.10.006.
  12. Ralf Hinze, Andres Löh & Bruno C. d. S. Oliveira (2006): ``Scrap Your Boilerplate'' Reloaded. In: Functional and Logic Programming, LNCS 3945. Springer, pp. 13–29, doi:10.1007/11737414_3.
  13. Stefan Holdermans, Johan Jeuring, Andres Löh & Alexey Rodriguez Yakushev (2006): Generic Views on Data Types. In: Mathematics of Program Construction, LNCS 4014, pp. 209–234, doi:10.1007/11783596_14.
  14. Patrik Jansson & Johan Jeuring (1997): PolyP—a polytypic programming language extension. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '97. ACM, pp. 470–482, doi:10.1145/263699.263763.
  15. Andres Löh (2004): Exploring Generic Haskell. Utrecht University.
  16. Andres Löh & José Pedro Magalhães (2011): Generic programming with indexed functors. In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP '11. ACM, New York, NY, USA, pp. 1–12, doi:10.1145/2036918.2036920.
  17. José Pedro Magalhães, Atze Dijkstra, Johan Jeuring & Andres Löh (2010): A generic deriving mechanism for Haskell. In: Proceedings of the ACM Symposium on Haskell, Haskell '10. ACM, New York, NY, USA, pp. 37–48, doi:10.1145/1863523.1863529.
  18. José Pedro Magalhães, Stefan Holdermans, Johan Jeuring & Andres Löh (2010): Optimizing Generics Is Easy!. In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'10. ACM, New York, NY, USA, pp. 33–42, doi:10.1145/1706356.1706366.
  19. Erik Meijer, Maarten Fokkinga & Ross Paterson (1991): Functional programming with bananas, lenses, envelopes and barbed wire. In: J. Hughes: Functional Programming Languages and Computer Architecture, LNCS 523. Springer-Verlag, pp. 124–144, doi:10.1007/3540543961_7.
  20. Shin-Cheng Mu, Hsiang-Shang Ko & Patrik Jansson (2009): Algebra of programming in Agda: Dependent types for relational program derivation. Journal of Functional Programming 19, pp. 545–579, doi:10.1017/S0956796809007345.
  21. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren & José Pedro Magalhães (2010): A lightweight approach to datatype-generic rewriting. Journal of Functional Programming 20(Special Issue 3-4), pp. 375–413, doi:10.1017/S0956796810000183.
  22. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring & Bastiaan Heeren (2008): A lightweight approach to datatype-generic rewriting. In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP '08. ACM, pp. 13–24, doi:10.1145/1411318.1411321.
  23. Ulf Norell (2009): Dependently typed programming in Agda. In: Pieter Koopman, Rinus Plasmeijer & Doaitse Swierstra: Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures, LNCS 5832. Springer, pp. 230–266, doi:10.1007/978-3-642-04652-0_5.
  24. Simon Peyton Jones (2003): Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, doi:10.1017/S0956796803000315. Journal of Functional Programming Special Issue 13(1).
  25. Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh & Johan Jeuring (2009): Generic programming with fixed points for mutually recursive datatypes. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP '09. ACM, pp. 233–244, doi:10.1145/1596550.1596585.
  26. Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov & Bruno C.d.S. Oliveira (2008): Comparing libraries for generic programming in Haskell. In: Proceedings of the ACM SIGPLAN Symposium on Haskell, Haskell'08. ACM, pp. 111–122, doi:10.1145/1411286.1411301.
  27. Wendy Verbruggen, Edsko De Vries & Arthur Hughes (2010): Formal polytypic programs and proofs. Journal of Functional Programming 20(Special Issue 3-4), pp. 213–270, doi:10.1017/S0956796810000158.
  28. Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers & Martin Sulzmann (2011): OutsideIn(X)—Modular type inference with local assumptions. Journal of Functional Programming 21(Special Issue 4-5), pp. 333–412, doi:10.1017/S0956796811000098.
  29. Stephanie Weirich & Chris Casinghino (2010): Arity-generic datatype-generic programming. In: Proceedings of the ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV '10. ACM, New York, NY, USA, pp. 15–26, doi:10.1145/1707790.1707799.
  30. Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis & José Pedro Magalhães (2012): Giving Haskell a Promotion. In: Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI '12. ACM, New York, NY, USA, pp. 53–66, doi:10.1145/2103786.2103795.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org