The right kind of generic programming

WGP'12 - Proceedings of the ACM SIGPLAN Workshop on Generic Programming

Volumn , Issue , 2012, Pages 13-24

  Magalhães, José Pedro ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

agda; datakinds; datatype generic programming; haskell; kind polymorphism

Indexed keywords

AGDA; DATAKINDS; GENERIC PROGRAMMING; GLASGOW HASKELL COMPILERS; HASKELL; PROGRAMMING ERRORS; STATIC TYPE SYSTEMS; TYPE EQUALITY; TYPE SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84867500326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2364394.2364397     Document Type: Conference Paper

References (27)

1. Richard Bird and Lambert Meertens. Nested datatypes. In Johan Jeuring, editor, Mathematics of Program Construction: 4th International Conference, volume 1422 of Lecture Notes in Computer Science, pages 52-67. Springer, 1998.
2. Manuel M. T. Chakravarty, Gabriel C. Ditu, and Roman Leshchinskiy. Instant generics: Fast and easy, 2009. Available at http://www.cse.unsw.edu.au/ ~chak/papers/CDL09.html.
3. Richard A. Eisenberg and Stephanie Weirich. Dependently typed programming with singletons, 2012. To appear in Proceedings of the 2012 ACM SIGPLAN Haskell Symposium.
4. Jeremy Gibbons. Datatype-generic programming. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Spring School on Datatype-Generic Programming, volume 4719 of Lecture Notes in Computer Science. Springer-Verlag, 2007. doi:10.1007/978-3-540-76786-2.
5. Erik Hesselink. Generic programming with fixed points for parametrized datatypes. Master's thesis, Universiteit Utrecht, 2009. https://github.com/ hesselink/thesis/.
6. Patrik Jansson and Johan Jeuring. PolyP - a polytypic programming language extension. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470-482. ACM, 1997. doi:10.1145/263699.263763.
7. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pages 26-37. ACM, 2003. doi:10.1145/604174.604179.
8. Ralf Lämmel and Simon Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In Proceedings of the 9th ACM SIGPLAN International Conference on Functional Programming, pages 244-255. ACM, 2004. doi:10.1145/1016850.1016883.
9. Andres Löh. Exploring Generic Haskell. PhD thesis, Universiteit Utrecht, 2004. http://igitur-archive.library.uu.nl/dissertations/2004-1130- 111344.
10. Andres Löh and Josè Pedro Magalhães. Generic programming with indexed functors. In Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming, pages 1-12. ACM, 2011. doi:10.1145/2036918. 2036920.
11. José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, and Andres Löh. A generic deriving mechanism for Haskell. In Proceedings of the 3rd ACM Haskell Symposium on Haskell, pages 37-48. ACM, 2010a. doi:10.1145/1863523.1863529.
12. José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, and Andres Löh. Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pages 33-42. ACM, 2010b. doi:10.1145/1706356.1706366.
13. Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In John Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124-144. Springer, 1991. doi:10.1007/3540543961-7.
14. Peter Morris. Constructing Universes for Generic Programming. PhD thesis, The University of Nottingham, November 2007.
15. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. In Proceedings of the ACM SIGPLAN Workshop on Generic Programming, pages 13-24. ACM, 2008. doi:10.1145/1411318.1411321.
16. Thomas van van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Journal of Functional Programming, 20(Special Issue 3-4):375-413, 2010. doi:10.1017/S0956796810000183.
17. Ulf Norell. Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology, September 2007.
18. Simon Peyton Jones, editor. Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. doi:10.1017/S0956796803000315. Journal of Functional Programming Special Issue 13(1).
19. Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, and Bruno C.d.S. Oliveira. Comparing libraries for generic programming in Haskell. In Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, pages 111-122. ACM, 2008. doi:10.1145/1411286.1411301.
20. Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, pages 233-244. ACM, 2009. doi:10.1145/1596550.1596585.
21. Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, and Dimitrios Vytiniotis. Complete and decidable type inference for GADTs. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, pages 341-352. ACM, 2009. doi:10.1145/1596550.1596599.
22. Tim Sheard. Generic programming programming in Ωmega. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype-Generic Programming, volume 4719 of Lecture Notes in Computer Science, pages 258-284. Springer, 2006. doi:10.1007/978-3-540-76786-2-5.
23. Tim Sheard and Simon Peyton Jones. Template meta-programming for Haskell. ACM SIGPLAN Notices, 37:60-75, December 2002. doi:10.1145/636517.636528.
24. Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, and Kevin Donnelly. System F with type equality coercions. In Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pages 53-66. ACM, 2007. doi:10.1145/1190315.1190324.
25. Stephanie Weirich and Chris Casinghino. Arity-generic datatype-generic programming. In Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages meets Program Verification, pages 15-26. ACM, 2010. doi:10.1145/1707790.1707799.
26. Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, and Steve Zdancewic. Generative type abstraction and type-level computation. In Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Panguages, pages 227-240. ACM, 2011. doi:10.1145/1926385.1926411.
27. Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon Peyton Jones, Dimitrios Vytiniotis, and José Pedro Magalhães. Giving Haskell a promotion. In Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, pages 53-66. ACM, 2012. doi:10.1145/2103786.2103795.