Scrap more boilerplate: Reflection, zips, and generalised casts

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 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

GENERIC PROGRAMMING; GENERIC TRANSFORMATIONS; TYPE CAST; ZIPPER;

ALGORITHMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; LIBRARIES; REFLECTION; WEBSITES; XML;

COMPUTER SYSTEMS PROGRAMMING;

EID: 13344286003     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     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. Ciaessen and J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In ICFPOO [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'OO), 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://wvw-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 (TLDI 2003).
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 ICFPOO [11], pages 58-67.
23. I. Witten, R. Neal, and J. Cleary. Arithmetic coding for data compression. CACM, 30(6):520-540, June 1987.