ICFP-WGP 2006: Portland, Oregon, USA

Session I

• Jeremy Gibbons:
  Design patterns as higher-order datatype-generic programs. 1-12
  Electronic Edition (ACM DL) BibTeX
• Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson:
  Type-theoretic design patterns. 13-22
  Electronic Edition (ACM DL) BibTeX
• Johan Jeuring, Alexey Rodriguez, Gideon Smeding:
  Generating generic functions. 23-32
  Electronic Edition (ACM DL) BibTeX

Session II

• Geoffrey Washburn, Stephanie Weirich:
  Good advice for type-directed programming aspect-oriented programming and extensible generic functions. 33-44
  Electronic Edition (ACM DL) BibTeX
• Pablo Nogueira:
  Context-parametric polykinded types. 45-54
  Electronic Edition (ACM DL) BibTeX
• Martin Sulzmann, Meng Wang:
  Modular generic programming with extensible superclasses. 55-65
  Electronic Edition (ACM DL) BibTeX

Session III

• Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski:
  Scrap++: scrap your boilerplate in C++. 66-75
  Electronic Edition (ACM DL) BibTeX
• Stephen M. Watt:
  A technique for generic iteration and its optimization. 76-86
  Electronic Edition (ACM DL) BibTeX

Session IV

• Kyle D. Ross:
  Towards an automatic complexity analysis for generic programs. 87-95
  Electronic Edition (ACM DL) BibTeX
• Adriaan Moors, Frank Piessens, Wouter Joosen:
  An object-oriented approach to datatype-generic programming. 96-106
  Electronic Edition (ACM DL) BibTeX