Uniform boilerplate and list processing or: SScrap your scary types

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

Volumn , Issue , 2007, Pages 49-60

  Mitchell, Neil ^a   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Languages; Performance

Indexed keywords

DATA STRUCTURES; DIGITAL LIBRARIES; PATTERN RECOGNITION;

BOILERPLATE CODE; CONCISE EXPRESSION; GENERIC TRAVERSALS;

PROGRAM PROCESSORS;

EID: 38849155042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291201.1291208     Document Type: Conference Paper

References (26)

1. Björn Bringen and Aarne Ranta. A pattern for almost compositional functions. In Proc. ICFP '06, pages 216-226. ACM Press, 2006.
2. Koen Claessen and John Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In Proc. ICFP '00, pages 268-279. ACM Press, 2000.
3. Dimitry Golubovsky, Neil Mitchell, and Matthew Naylor. Yhc.Core - from Haskell to Core. The Monad.Reader, (7):45-61, April 2007.
4. Ralf Hinze. Generics for the masses. In Proc. ICFP '04, pages 236-243. ACM Press, 2004. ISBN 1-58113-905-5.
5. Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Summer School on Generic Programming, volume 2793 of LNCS, pages 1-56. Springer-Verlang, 2003.
6. Mark P. Jones. Type classes with functional dependencies. In Proc ESOP '00, volume 1782 of LNCS, pages 230-244. Springer-Verlang, 2000.
7. R. Lämmel and J. Visser. A Strafunski Application Letter. In Proc. PADL'03, volume 2562 of LNCS, pages 357-375. Springer-Verlag, January 2003.
8. Ralf Lämmel. The sketch of a polymorphic symphony. In Proc. of International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), volume 70 of ENTCS. Elsevier Science, 2002.
9. Ralf Lämmel. Typed generic traversal with term rewriting strategies. Journal of Logic and Algebraic Programming, 54:1-64, 2003.
10. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In Proc. TLDI '03, volume 38, pages 26-37. ACM Press, March 2003.
11. Ralf Lämmel and Simon Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In. Proc. ICFP '04, pages 244-255. ACM Press, 2004.
12. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate with class: extensible generic functions. In Proc. ICFP '05, pages 204-215. ACM Press, September 2005.
13. Conor McBride and Ross Paterson. Applicative programming with effects. JFP, 17(5):1-13, 2007.
14. Lambert G. L. T. Meertens. Paramorphisms. Formal Aspects of Computing, 4(5):413-424, 1992.
15. Neil Mitchell and Stefan O'Rear. Derive - project home page, http://www.cs.york.ac.uk/~ndm/derive/, March 2007.
16. Neil Mitchell and Colin Runciman. A static checker for safe pattern matching in Haskell. In Trends in Functional Programming (2005 Symposium), volume 6, pages 15-30. Intellect, 2007.
17. Markus Mohnen. Context patterns in Haskell. In Implementation of Functional Languages, pages 41-57. Springer-Verlag, 1996.
18. Matthew Naylor and Colin Runciman. Finding inputs that reach a target expression. In Proc. SCAM '07. IEEE Computer Society, September 2007. To appear.
19. Simon Peyton-Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: Rewriting as a practical optimisation, technique in GHC. In Proc. Haskell '01, pages 203-233. ACM Press, 2001.
20. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for GADTs. In Proc. ICFP '06, pages 50-61. ACM Press, 2006.
21. Deling Ren and Martin Erwig. A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. In Proc. Haskell '06, pages 13-24. ACM Press, 2006.
22. Tim Sheard and Simon Peyton Jones. Template meta-programming for Haskell. In Proc. Haskell Workshop '02, pages 1-16. ACM Press, 2002.
23. Eelco Visser. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In Domain-Specific Program Generation, volume 30.16 of LNCS, pages 216-238. Spinger-Verlag, June 2004.
24. Philip Wadler. List comprehensions. In Simon Peyton Jones, editor, Implementation of Functional Programming Languages. Prentice Hall, 1987.
25. Stephanie Weirich. RepLib: a library for derivable type classes. In Proc. Haskell '06, pages 1-12. ACM Press, 2006.
26. Noel Winstanley. Reflections on instance derivation. In 1997 Glasgow Workshop on Functional Programming. BCS Workshops in Computer Science, September 1997.