Functional Programming Papers

A tutorial on the universality and expressiveness of fold

• authors: Graham Hutton
• date: July 1999
• publication: Journal of Functional Programming
• online @ www.cs.nott.ac.uk

.

Total Functional Programming

• authors: D. A. Turner
• date: 2004
• online @ www.jucs.org

.

Turner, Bird, Eratosthenes: An Eternal Burning Thread

• authors: Jeremy Gibbons
• date: 2021
• online @ www.cs.ox.ac.uk

.

Fast and Loose Reasoning is Morally Correct

• authors: Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
• date: 2006
• topics: Functional Programming
• future-topics: Reasoning about Programs
• online @ www.cs.ox.ac.uk

.

let (rec) insertion without effects, lights or magic

• authors: Oleg Kiselyov, Jeremy Yallop
• date: 2019
• online @ icfp19.sigplan.org

.