1. R. Amadio, K.B. Bruce, G. Longo, The finitary projection model for second order lambda calculus and solutions to higher order domain equations, in: Proceedings of the Symposium on Logic in Computer Science, Cambridge, MA, IEEE Computer Society, June 1986, pp. 122–130.
2. Generic programming—an introduction—;Backhouse,1999
3. Generic functional programming with types and relations;Bird;J. Funct. Programming,1996
4. R. Bird, L. Meertens, Nested datatypes, in: J. Jeuring (Ed.), Fourth International Conference on Mathematics of Program Construction, MPC’98, Marstrand, Sweden, Lecture Notes in Computer Science, vol. 1422, Springer, 1998, pp. 52–67.
5. Generalised folds for nested datatypes;Bird;Formal Aspects of Computing,1999