Abstract is missing.
- Polytypic properties and proofs in CoqWendy Verbruggen, Edsko de Vries, Arthur Hughes. 1-12 [doi]
- Adaptable component frameworks: using vector from the C++ standard library as an exampleJyrki Katajainen, Bo Simonsen. 13-24 [doi]
- The function concept in C++: an empirical studyDaniel Lincke, Sibylle Schupp. 25-36 [doi]
- What does aspect-oriented programming mean for functional programmers?Meng Wang, Bruno C. D. S. Oliveira. 37-48 [doi]
- Type-specialized staged programming with process separationYu David Liu, Christian Skalka, Scott F. Smith. 49-60 [doi]
- Type-safe diff for families of datatypesEelco Lempsink, Sean Leather, Andres Löh. 61-72 [doi]
- Meeting a fanclub: a lattice of generic shape selectorsRoland Carl Backhouse, Richard S. Bird, Paul F. Hoogendijk. 73-84 [doi]
- Parametric datatype-genericityJeremy Gibbons, Ross Paterson. 85-93 [doi]