I am collecting links and notes about the mixed relationship FP has had with hardware throughout the history of computing. Please suggest material by adding comments here.
Overviews
History of Functional Programming
http://en.wikipedia.org/wiki/Church%E2%80%93Rosser_theorem
Princeton (1930s)