"Scrap your boilerplate" revolutions

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

Volumn 4014 LNCS, Issue , 2006, Pages 180-208

  Hinze, Ralf ^a   Löh, Andres ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; DATA STRUCTURES; FUNCTION EVALUATION; INFORMATION TECHNOLOGY; LINEAR ALGEBRA;

ALGEBRAIC DATA; GENERIC FUNCTIONS; GENERIC PROGRAMMING; VALUE-ORIENTATION;

LOGIC PROGRAMMING;

EID: 33746093907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11783596_13     Document Type: Conference Paper

References (43)

1. Jansson, P., Jeuring, J.: PolyP - a polytypic programming language extension. In: Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97), Paris, France, ACM Press (1997) 470-482
2. Hinze, R., Jeuring, J.: Generic Haskell: Practice and theory. In Backhouse, R., Gibbons, J., eds.; Generic Programming: Advanced Lectures. Volume 2793 of Lecture Notes in Computer Science. Springer-Verlag (2003) 1-56
3. Peyton Jones, S., Lämmel, R.: Scrap your boilerplate: a practical approach to generic programming. In: Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans. (2003) 26-37
4. Hall, C.V., Hammond, K., Peyton Jones, S.L., Wadler, P.L.: Type classes in Haskell. ACM Transactions on Programming Languages and Systems 18(2) (1996) 109-138
5. Lämmel, R., Peyton Jones, S.: Scrap your boilerplate with class: extensible generic functions. In Pierce, B., ed.: Proceedings of the 2005 International Conference on Functional Programming, Tallinn, Estonia, September 26-28, 2005. (2005)
6. Weirich, S.: Type-safe cast: functional pearl. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '00). Volume (35)9 of ACM SIGPLAN Notices., N.Y., ACM Press (2000) 58-67
7. Crary, K., Weirich, S., Morrisett, G.: Intensional polymorphism in type-erasure semantics. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, MD. Volume (34)1 of ACM SIGPLAN Notices., ACM Press (1999) 301-312
8. Cheney, J., Hinze, R.: A lightweight, implementation of generics and dynamics. In Chakravarty, M.M., ed.: Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, ACM Press (2002) 90-104
9. Hinze, R.: A new approach to generic functional programming, In Reps, T.W., ed.: Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21. (2000) 119-132
10. Hinze, R.: Generics for the masses. In Fisher, K., ed.: Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004, ACM Press (2004) 236-243
11. Hinze, R., Löh, A., Oliveira, B.C.d.S.: "Scrap Your Boilerplate" reloaded. In Wadler, P., Hagiya, M., eds.: Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan. Lecture Notes in Computer Science, Springer-Verlag (2006)
12. 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
13. 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)
14. Wadler, P.: Theorems for free! In: The Fourth International Conference on Functional Programming Languages and Computer Architecture (FPCA'89), London, UK, Addison-Wesley Publishing Company (1989) 347-359
15. Hughes, R.J.M.: A novel representation of lists and its application to the function "reverse". Information Processing Letters 22(3) (1986) 141-144
16. Bird, R., Meertens, L.: Nested datatypes. In Jeuring, J., ed.: Fourth International Conference on Mathematics of Program Construction, MPC'98, Marstrand, Sweden. Volume 1422 of Lecture Notes in Computer Science., Springer-Verlag (1998) 52-67
17. Hinze, R.: Functional Pearl: Perfect trees and bit-reversal permutations. Journal of Functional Programming 10(3) (2000) 305-317
18. Hutton, G.: Higher-order functions for parsing. Journal of Functional Programming 2(3) (1992) 323-343
19. Peyton Jones, S.: Haskell 98 Language and Libraries. Cambridge University Press (2003)
20. Jones, M.P.: A system of constructor classes: overloading and implicit higher-order polymorphism. Journal of Functional Programming 5(1) (1995) 1-35
21. Hinze, R.: Fun with phantom types. In Gibbons, J., de Moor, O., eds.: The Fun of Programming. Palgrave Macmillan (2003) 245-262 ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback.
22. Lämmel, R., Peyton Jones, S.: Scrap more boilerplate: reflection, zips, and generalised casts. In Fisher, K., ed.: Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004. (2004) 244-255
23. Backhouse, R., Jansson, P., Jeuring, J., Meertens, L.: Generic Programming - An Introduction -. In Swierstra, S.D., Henriques, P.R., Oliveira, J.N., eds.: 3rd International Summer School on Advanced Functional Programming, Braga, Portugal. Volume 1608 of Lecture Notes in Computer Science. Springer-Verlag, Berlin (1999) 28-115
24. Hinze, R., Jeuring, J.: Generic Haskell: Applications. In Backhouse, R., Gibbons, J., eds.: Generic Programming: Advanced Lectures. Volume 2793 of Lecture Notes in Computer Science. Springer-Verlag (2003) 57-97
25. Harper, R., Morrisett, G.: Compiling polymorphism using intensional type analysis. In: 22nd Symposium on Principles of Programming Languages, POPL '95. (1995) 130-141
26. Crary, K., Weirich, S.: Flexible type analysis. In: Proceedings ICFP 1999: International Conference on Functional Programming, ACM Press (1999) 233-248
27. Trifonov, V., Saha, B., Shao, Z.: Fully reflexive intensional type analysis. In: Proceedings ICFP 2000: International Conference on Functional Programming, ACM Press (2000) 82-93
28. Weirich, S.: Encoding intensional type analysis. In: European Symposium on Programming. Volume 2028 of LNCS., Springer-Verlag (2001) 92-106
29. Norell, U., Jansson, P.: Polytypic programming in Haskell. In Trinder, P., Michaelson, G., Peña, R., eds.: Implementation of Functional Languages: 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. (2003) 168-184
30. Oliveira, B.C., Gibbons, J.: Typecase: A design pattern for type-indexed functions. In Leijen, D., ed.: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, Tallinn, Estonia. (2005) 98-109
31. Hinze, R., Peyton Jones, S.: Derivable type classes. In Hutton, G., ed.: Proceedings of the 2000 ACM SIGPLAN Haskell Workshop. Volume 41.1 of Electronic Notes in Theoretical Computer Science., Elsevier Science (2001) The preliminary proceedings appeared as a University of Nottingham technical report.
32. Alimarine, A., Plasmeijer, R.: A generic programming extension for Clean. In Arts, T., Mohnen, M., eds.: Proceedings of the 13th International workshop on the Implementation of Functional Languages, IFL'01, Älvsjö, Sweden (2001) 257-278
33. Hinze, R.: Polytypic values possess polykinded types. Science of Computer Programming 43 (2002) 129-159
34. Loh, A.: Exploring Generic Haskell. PhD thesis, Utrecht University (2004)
35. Löh, A., Jeuring. J.: The Generic Haskell user's guide, version 1.42 - Coral release. Technical Report UU-CS-2005-004, Universiteit Utrecht (2005)
36. Hinze, R., Löh, A., Oliveira, B.C.: "Scrap Your Boilerplate" reloaded. Technical Report IAI-TR-2006-2, Institut für Informatik III, Universität Bonn (2006)
37. Jones, M.P.: Type classes with functional dependencies. In Smolka, G., ed.: Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany. Volume 1782 of Lecture Notes in Computer Science., Springer-Verlag (2000) 230-244
38. Hinze, R., Jeuring, J., Loh, A.: Type-indexed data types. Science of Computer Programming 51 (2004) 117-151
39. Clarke, D., Loh, A.: Generic Haskell, specifically. In Gibbons, J., Jeuring, J., eds.: Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, Kluwer Academic Publishers (2002) 21-48
40. Visser, E.: Language independent traversais for program transformation. In Jeuring, J., ed.: Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal. (2000) 86-104 The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19.
41. Hinze, R., Löh, A.: Open data types and open functions. Technical Report IAI-TR-2006-3, Institut für Informatik III, Universität Bonn (2006)
42. Reig, F.: Generic proofs for cornbinator-based generic programs. In Loidl, H.W., ed.: Trends in Functional Programming. Volume 5. Intellect (2006)
43. Braun, W., Rem, M.: A logarithmic implementation of flexible arrays. Memorandum MR83/4, Eindhoven University of Technology (1983)