[plt-scheme] The Lambda Calculus behind functional programming

From: Geoffrey S. Knauth (geoff at knauth.org)
Date: Sat Sep 1 21:41:27 EDT 2007

On Aug 30, 2007, at 10:52, Matthias Felleisen wrote:
> My perspective is that you use LC to express/model your favorite  
> problem area in PL and then you use those methods from mathematical  
> LC that can help you solve it. Time and again, this approach has  
> helped me get results. And I believe that my modus operandi heavily  
> borrows from a theoretical physicists approach to mathematics. I  
> don't know of a book that uses this approach properly and I am  
> hoping our Redex book will do it well.

Just wondering...  What do you think of SICM (Structure and  
Interpretation of Classical Mechanics, Sussman and Wisdom) ?

Posted on the users mailing list.