| Kevin McAllister on 10 Oct 2011 05:40:31 -0700 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
| Re: Function Fall Next Paper: Continuation, functions and jumps |
On Oct 7, 2011, at 10:35 AM, "Kyle R. Burton" <kyle.burton@gmail.com> wrote: > - does anyone have a recommended resource that's an introduction to > Lambda or Pi Calculus? Not sure if the Moggi paper, "Computational Lambda Calculus and Monads," is understandable but it was mentioned in one of the functional fall sessions and I noted it down and happened across it this morning. http://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf