Scrap more boilerplate: Reflection, zips, and generalised casts

ACM SIGPLAN Notices

Volumn 39, Issue 9, 2004, Pages 244-255

  Lämmel, Ralf ^a   Jones, Simon Peyton ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Generic programming; Reflection; Type cast; Zippers

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); DATABASE SYSTEMS; MATHEMATICAL TRANSFORMATIONS; PROGRAM DOCUMENTATION; QUERY LANGUAGES; WEBSITES; XML;

BOILERPLATES; GENERIC ALGORITHMS; GENERIC PROGRAMMING; TYPE CASTS;

COMPUTER PROGRAMMING;

EID: 9744235964     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1016848.1016883     Document Type: Conference Paper

References (23)

1. T. Altenkirch and C. McBride. Generic programming within dependently typed programming. In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002.
2. F. Atanassow, D. Clarke, and J. Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman, editor, Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings, volume 3057 of LNCS, pages 71-85. Springer-Verlag, May 2004.
3. K. Claessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFP00 [11], pages 268-279.
4. D. Clarke, J. Jeuring, and A. Löh. The Generic Haskell User's Guide, 2002. Version 1.23 - Beryl release.
5. D. Clarke and A. Löh. Generic Haskell, Specifically. In J. Gibbons and J. Jeuring, editors, Proc. of the IFIP TC2 Working Conference on Generic Programming. Kluwer Academic Publishers, 2003.
6. J. Harm and R. Lämmel. Two-dimensional Approximation Coverage. Informatica, 24(3):355-369, 2000.
7. R. Hinze. A generic programming extension for Haskell. In Proc. 3rd Haskell Workshop, Paris, France, 1999. Technical report of Universiteit Utrecht, UU-CS-1999-28.
8. R. Hinze. Generics for the masses. In these proceedings, 2004.
9. R. Hughes. A novel representation of lists and its application to the function reverse. Information Processing Letters, 22, 1986.
10. G. Hutton and E. Meijer. Functional pearl: Monadic parsing in Haskell. Journal of Functional Programming, 8(4):437-444, July 1998.
11. ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montreal, Sept. 2000. ACM.
12. P. Jansson and J. Jeuring. PolyLib - Alibrary of polytypic functions. In R. Backhouse and T. Sheard, editors, Proc. of Workshop on Generic Programming, WGP'98, Marstrand, Sweden. Dept. of Comp. Science, Chalmers Univ. of Techn. and Göteborg Univ., June 1998.
13. C. B. Jay. The pattern calculus. http://www-staff.it.uts.edu.au/~cbj/ Publications/pattern_calculus.ps, 2003. (accepted for publication by ACM TOPLAS.).
14. P. W. M. Koopman, A. Alimarine, J. Tretmans, and M. J. Plasmeijer. Gast: Generic Automated Software Testing. In R. Pena and T. Arts, editors, Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, volume 2670 of LNCS, pages 84-100. Springer-Verlag, 2003.
15. R. Lämmel and J. Harm. Test case characterisation by regular path expressions. In E. Brinksma and J. Tretmans, editors, Proc. Formal Approaches to Testing of Software (FATES'01), Notes Series NS-01-4, pages 109-124. BRICS, Aug. 2001.
16. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, Mar. 2003. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI2003).
17. The "Scrap your boilerplate" web site: examples, browsable library, papers, background, 2003-2004. http://www.cs.vu.nl/boilerplate/.
18. D. Lelewer and D. Hirschberg. Data compression. ACM Computing Surveys, 19(3):261-296, Sept. 1987.
19. A. Löh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In C. Norris and J. J. B. Fenwick, editors, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming (ICFP-03), volume 38, 9 of ACM SIGPLAN Notices, pages 141-152, New York, Aug. 25-29 2003. ACM Press.
20. S. Peyton Jones and M. Shields. Practical type inference for higher-rank types. Unpublished manuscript, 2004.
21. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation. In ACM SIGPLAN International Conference on Functional Programming (ICFP'99), pages 148-159, Paris, Sept. 1999. ACM.
22. S. Weirich. Type-safe cast. In ICFP00 [11], pages 58-67.
23. I. Witten, R. Neal, and J. Cleary. Arithmetic coding for data compression. CACM, 30(6):520-540, June 1987.