Archival version of the TFP website, and all available literature.
- 2001, P. Bailes, “Programming without data: Towards a totally functional programming style”
- 2003, P. Bailes, C. Kemp, “Formal methods within a totally functional approach to programming”
- 2003, P. Bailes, C. Kemp, I. Peake, S. Seefried, “Why functional programming really matters”
- 2004, P. Bailes, C. Kemp, “Obstacles to a totally functional programming style”
- 2005, P. Bailes, C. Kemp, “Fusing folds and data structures into zoetic data”
- 2007, C. Kemp, “Theoretical foundations for practical ‘totally functional programming’”
- 2011, P. Bailes, “Approaching ‘totally functional programming’ through rigorous application of the reuse principle”
- 2012, P. Bailes, L. Brough, “Making sense of recursion patterns”
- 2013, P. Bailes, L. Brough, C. Kemp, “Higher-order catamorphisms as bases for program structuring and design recovery”
- 2013, P. Bailes, “Recursion patterns and their impact on programming language design”
- 2014, P. Bailes, L. Brough, C. Kemp, “From computer science to software engineering: A programming-level perspective”
Packaged by Miëtek Bak.