http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf 著者のDave TurnerはHaskellの前身のMirandaを設計した人。ちなみに、 Church's Thesis and Functional Programming http://www.cs.kent.ac.uk/people/staff/d…