Functional Programming

(Up) | See also: Lambda Calculus

Web resources

Functors, Applicatives, And Monads In Pictures - adit.io

functional programming - What is the origin and meaning of the phrase "Lambda the ultimate?" - Software Engineering Stack Exchange

compiler construction - Converting a function to use tail recursion -- a formal study - Stack Overflow

Do Applicative Functors Generalize the S & K Combinators? - Brandon.Si(mmons)

Railway Oriented Programming | F# for fun and profit

interpreters - How to implement scheme\'s letrec in a lazy dialect? - Computer Science Stack Exchange

Recitation 21: Let Expressions & The Environment Model

Repositories

PseudoPower/AFSM: Arrowized functional state machines

Papers

A tutorial on the universality and expressiveness of fold (online @ www.cs.nott.ac.uk)

Total Functional Programming (online @ www.jucs.org)

Turner, Bird, Eratosthenes: An Eternal Burning Thread (online @ www.cs.ox.ac.uk)

Fast and Loose Reasoning is Morally Correct (online @ www.cs.ox.ac.uk)

let (rec) insertion without effects, lights or magic (online @ icfp19.sigplan.org)

Books

Structure and Interpretation of Computer Programs (online @ archive.org (2nd ed.), archive.org (2nd ed. HTML)) (borrow @ archive.org (1st ed.))

Purely Functional Data Structures (online @ archive.org)

ACM Symposium on LISP and Functional Programming, 1984 (borrow @ archive.org)