[plt-scheme] The Lambda Calculus behind functional programming

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Sep 2 09:32:42 EDT 2007

On Sep 1, 2007, at 9:41 PM, Geoffrey S. Knauth wrote:

> 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) ?

I know too little about it and its background to judge it. -- Matthias

Posted on the users mailing list.