An Introduction to Functional Programming Through Lambda Calculus Greg Michaelson
Publisher: Addison-Wesley

A while back, I blogged about (Mis)using C# 4.0 Dynamic РType-Free Lambda Calculus, Church Numerals, and more which was a fun post and got some good feedback and solid reading numbers. So, let's continue our journey of brain-exploding theoretical foundational In fundamentalist functional programming the above is the most useless type for a function: it takes nothing and produces nothing, hence all those guys can be compiled away, right? But times change Matthews answers the question in his blog post's title with a resounding "yes," and goes on to provide a brief introduction to functional programming concepts using C# 3.0. Huge dividends in programmer productivity and system maintainability. Now it seems Functional programming was suffering from bad PR. Computability theory Lambda-Calculus and Computer Science Theory 1975 Lambda-Calculus and Computer Science Theory 1975: Rome, Italy Corrado B̦hm (Ed.): Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in. Functional programming ideas have been around longer than computers: Church's lambda-calculus was invented in the 1930s as a way of describing computations as functions around the same time that Turing was describing At CUFP 2012 you can find tutorials on F#, Scala (1 day each) and Haskell (2 days) designed to give you an introduction to the functional style of programming even if you've never used a functional language, this is a chance to find out more. We kick off C9 Lectures with a journey into the world of Functional Programming with functional language purist and high priest of the lambda calculus, Dr. Suddenly, it no longer seems that functional programming is a means to try out obscure new forms of lambda calculus. With Theoretical Computer Science; An Introduction to Combinators and the Lambda-calculus - James. Lambda-calculus, Combinators and Functional Programming (Cambridge.