Abstract is missing.
- Outrageous but meaningful coincidences: dependent type-safe syntax and evaluationConor McBride. 1-12 [doi]
- Scrap your zippers: a generic zipper for heterogeneous typesMichael D. Adams 0001. 13-24 [doi]
- Generic storage in HaskellSebastiaan Visser, Andres Löh. 25-36 [doi]
- Generic selections of subexpressionsMartijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring. 37-48 [doi]
- Generic multiset programming for language-integrated queryingFritz Henglein, Ken Friis Larsen. 49-60 [doi]
- Algorithms for traversal-based generic programmingBryan Chadwick, Karl J. Lieberherr. 61-72 [doi]
- Ad-hoc polymorphism and dynamic typing in a statically typed functional languageThomas van Noort, Peter Achten, Rinus Plasmeijer. 73-84 [doi]
- Reason isomorphically!Ralf Hinze, Daniel W. H. James. 85-96 [doi]
- Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinningShin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata. 97-108 [doi]