"Scrap your boilerplate" reloaded

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3945 LNCS, Issue , 2006, Pages 13-29

  Hinze, Ralf ^a   Löh, Andres ^a   Oliveira, Bruno C D S ^b  

^a UNIVERSITY OF BONN   (Germany)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; DATA STRUCTURES; FUNCTIONS; LINEAR ALGEBRA; QUERY LANGUAGES;

GENERIC FUNCTIONS; GENERIC PROGRAMMING; OVERLOADED FUNCTIONS; PROGRAMMING APPROACHES;

DIGITAL LIBRARIES;

EID: 33745865860     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_3     Document Type: Conference Paper

References (24)

1. Lämmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: Types in Language Design and Implementation. (2003)
2. Jansson, P., Jeuring, J.: PolyP - a polytypic programming language extension. In: Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, Prance, ACM Press (1997) 470-482
3. Loh, A.: Exploring Generic Haskell. PhD thesis, Utrecht University (2004)
4. Loh, A., Jeuring, J., Clarke, D., Hinze, R., Rodriguez, A., de Wit, J.: The Generic Haskell user's guide, version 1.42 (Coral). Technical Report UU-CS-2005-004, Institute of Information and Computing Sciences, Utrecht University (2005)
5. Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL 2003), ACM Press (2003) 224-235
6. Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: Type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, University of Pennsylvania (2004)
7. Peyton Jones, S., ed.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press (2003)
8. Hinze, R., Löh, A., Oliveira, B.: "Scrap Your Boilerplate" reloaded. Technical report, Universität Bonn (2006) Available from http://www.Informatik.uni-bonn.de/~loeh/SYBO.html.
9. GHC Team: The Glasgow Haskell Compiler User's Guide. (2005) Available from http://haskell.org/ghc/docs/latest/users-guide.ps.gz.
10. Wadler, P.: Views: a way for pattern matching to cohabit with data abstraction. In: Principles of Programming Languages, ACM Press (1987) 307-313
11. Burton, F.W., Meijer, E., Sansom, P., Thompson, S., Wadler, P.: Views: an extension to Haskell pattern matching. Available from http://www.haskell.org/development/views.html (1996)
12. Holdermans, S., Jeuring, J., Loh, A.: Generic views on data types. Technical Report UU-CS-2005-012, Utrecht University (2005)
13. Benke, M., Dybjer, P., Jansson, P.: Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10 (2003) 265-289
14. Visser, E.: Language independent traversais for program transformation. In Jeuring, J., ed.: Workshop on Generic Programming (WGP'00), Ponte de Lima, Portugal, Technical Report UU-CS-2000-19, Department of Information and Computing Sciences, Universiteit Utrecht (2000)
15. Hinze, R.: Fun with phantom types. In Gibbons, J., de Moor, O., eds.: The Fun of Programming. Palgrave (2003) 245-262
16. Oliveira, B., Gibbons, J.: Typecase: A design pattern for type-indexed functions. In: Haskell Workshop. (2005) 98-109
17. Li, H., Reinke, C., Thompson, S.: Tool support for refactoring functional programs. In Jeuring, J., ed.: Haskell Workshop, Association for Computing Machinery (2003) 27-38
18. Wadler, P.: Theorems for free! In: Functional Programming and Computer Architecture. (1989)
19. Lämmel, R., Peyton Jones, S.: Scrap more boilerplate: reflection, zips, and generalised casts. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2004), ACM Press (2004) 244-255
20. Lämmel, R., Peyton Jones, S.: Scrap your boilerplate with class: extensible generic functions. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), ACM Press (2005) 204-215
21. Backhouse, R., Jansson, P., Jeuring, J., Meertens, L.: Generic programming: An introduction. In Swierstra, S.D., Henriques, P.R., Oliveira, J.N., eds.: Advanced Functional Programming. Volume 1608 of Lecture Notes in Computer Science., Springer-Verlag (1999) 28-115
22. Hinze, R.: Polytypic values possess polykinded types. In Backhouse, R., Oliveira, J.N., eds.: Proceedings of the Fifth International Conference on Mathematics of Program Construction, July 3-5, 2000. Volume 1837 of Lecture Notes in Computer Science., Springer-Verlag (2000) 2-27
23. Holdermans, S.: Generic views. Master's thesis, Utrecht University (2005)
24. Reig, F.: Generic proofs for combinator-based generic programs. In Loidl, H.W., ed.: Trends in Functional Programming. Volume 5. Intellect (2006)