Abstract is missing.
- Design patterns as higher-order datatype-generic programsJeremy Gibbons. 1-12 [doi]
- Type-theoretic design patternsOndrej Rypacek, Roland Carl Backhouse, Henrik Nilsson. 13-22 [doi]
- Generating generic functionsJohan Jeuring, Alexey Rodriguez, Gideon Smeding. 23-32 [doi]
- Good advice for type-directed programming aspect-oriented programming and extensible generic functionsGeoffrey Washburn, Stephanie Weirich. 33-44 [doi]
- Context-parametric polykinded typesPablo Nogueira. 45-54 [doi]
- Modular generic programming with extensible superclassesMartin Sulzmann, Meng Wang. 55-65 [doi]
- Scrap++: scrap your boilerplate in C++Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski. 66-75 [doi]
- A technique for generic iteration and its optimizationStephen M. Watt. 76-86 [doi]
- Towards an automatic complexity analysis for generic programsKyle D. Ross. 87-95 [doi]
- An object-oriented approach to datatype-generic programmingAdriaan Moors, Frank Piessens, Wouter Joosen. 96-106 [doi]