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