A lightweight approach to datatype-generic rewriting

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

Volumn , Issue , 2008, Pages 13-24

  Van Noort, Thomas ^a   Rodriguez, Alexey ^b   Holdermans, Stefan ^b   Jeuring, Johan ^b,c   Heeren, Bastiaan ^c  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

Datatype generic programming; Term rewriting

Indexed keywords

ASSOCIATED TYPES; DATATYPE-GENERIC PROGRAMMING; GENERIC FUNCTIONS; HASKELL; METAVARIABLES; REWRITE RULES; REWRITING RULES; SYNTAX TREES; TERM REWRITING;

TREES (MATHEMATICS);

EID: 64849092051     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411318.1411321     Document Type: Conference Paper

References (28)

1. Artem Alimarine and Sjaak Smetsers. Improved fusion for optimizing generics. In Manuel V. Hermenegildo and Daniel. Cabeza, editors, Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, volume 3350 of Lecture Notes in Computer Science, pages 203-218. Springer-Verlag, 2005.
2. Peter Borovanský, Claude Kirchner, Hélène Kirchner, and Christophe Ringeissen. Rewriting with strategies in ELAN: A functional semantics. International Journal of Foundations of Computer Science, 12(1):69-95, 2001.
3. Björn Bringert and Aarne Ranta. A pattern for almost compositional functions. In John H. Reppy and Julia L Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pages 216-226. ACM. Press, 2006.
4. Neil C. C. Brown and Adam T. Sampson. Matching and modifying with generics. In Peter Achten, Pieter Koopman, and Marco T. Morazán, editors, Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP), May 26-28 2008, Center Parcs "Het Heijderbos", The Netherlands, pages 304-318, 2008. The draft proceedings of the symposium have been published as a technical, report (ICIS-R08007) at. Radboud University Nijmegen.
5. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. Associated type synonyms. In Olivier Danvy and Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pages 241-253. ACM Press, 2005.
6. Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Simon Peyton Jones. Generic programming with type families, 2008. Work in progress.
7. Koen Claessen and John Hughes. QuickCheck: A lightweight tool for random testing of haskell programs. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP' 00), Montreal, Canada, September 18-21, 2000, pages 268-279. ACM Press, 2000.
8. Duncan Courts, Roman Leshchinskiy, and Don Stewart. Stream fusion: From lists to streams to nothing at all. In Ralf Hinze and Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pages 315-326. ACM Press, 2007.
9. Arie van Deursen, Jan Heering, and Paul Klint, editors. Language Prototyping. An Algebraic Specification. Approach, volume 5 of AMAST Series in Computing. World Scientific, Singapore, 1996.
10. Joseph Goguen and Malcolm Grant. Algebraic Semantics of Imperative Programs. The MIT Press, Cambridge, Massachusetts, 1997.
11. Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk, editors, Intelligent Computer Mathematics, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings, volume 5144 of LNAI, pages 430-445. Springer-Verlag, 2008.
12. Ralf Hinze. Generic programs and proofs, 2000. Habilitationsschrift.
13. Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. Science of Computer Programming, 51(2):117-151, 2004.
14. Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. Generic views on data types. In Tarmo Uustalu, editor, Mathemathics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, volume 4014 of Lecture Notes in Computer Science, pages 209-234. Springer-Verlag, 2006.
15. Gérard Huet. The Zipper. Journal of Functional Programming, 7(5): 549-554, 1997.
16. Patrik Jansson and Johan Jeuring. A framework for polytypic programming on terms, with an application to rewriting. In Johan Jeuring, editor, Proceedings Workshop on Generic Programming (WGP2000), July 6, 2000, Ponte de Lima, Portugal, pages 33-45, 2000. The proceedings of the workshop have been published as a technical report (UU-CS-2000-19) at Utrecht University.
17. Patrik Jansson and Johan Jeuring. PolyP - a polytypic programming language extension. In Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pages 470-482. ACM Press, 1997.
18. Patrik Jansson and Johan Jeuring. Polytypic unification. Journal of Functional Programming, 8(5):527-536, .1998.
19. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: A practical design pattern for generic programming. In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, LA, USA, January 18, 2003, pages 26-37. ACM. Press, 2003.
20. Ralf Lämmel and Joost Visser. Typed combinators for generic traversal. In Shiriram Krishnamurthi and C. R. Ramakrishnan, editors, Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, volume 2257 of Lecture Notes in Computer Science, pages 137-154. Springer-Verlag, 2002.
21. Andres Löh. Exploring Generic Haskell. PhD thesis, Utrecht University, 2004.
22. Neil Mitchell, and Colin Runciman. Uniform boilerplate and list processing. In Gabriele Keller, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pages 49-60. ACM Press, 2007.
23. Thomas van Noort. Generic views for generic types. Master's thesis, Utrecht University, 2008.
24. Ulf Norell and Patrik Jansson. Polytypic programming in Haskell. In Philip W. Trinder, Greg Michaelson, and Ricardo Pena, editors, Implementation, of Programming Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, volume 3145 of Lecture Notes in Computer Science, pages 168-184. Springer-Verlag, 2004.
25. Bruno C. d. S. Oliveira and Jeremy Gibbons. TypeCase: A design pattern for type-indexed functions. In Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, Tallinn, Estonia, September 30, 2005, pages 98-109. ACM. Press, 2005.
26. Alexey Rodriguez, Stefan. Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. Technical Report. UU-CS-2008-019, Utrecht University, 2008.
27. Tim Sheard. Generic unification via two-level types and parameterized modules. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001, pages 86-97. ACM. Press, 2001.
28. Tim Sheard and Simon Peyton Jones. Template meta-programming for Haskell. In Proceedings of the ACM SIGPLAN Workshop on Haskell, Pittsburgh, Pennsylvania, 2002, pages 1-16. ACM Press, 2002.