X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=3e670b36a29595b10dc871ee35c603b2769d2217;hp=019edd2e46ef150c5cffaa7f31a8c5ada19caeee;hb=d8be476da34a56b5c268b2dbe62f93b0378eefca;hpb=dc94d6df9cb7f1a5b3a28770895f4f5f66716b1b diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 019edd2e..3e670b36 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -43,6 +43,7 @@ get more out of out. (Rinse and repeat.) ## Scheme and OCaml ## +* [An Introduction to Lambda Calculus and Scheme](http://www.jetcafe.org/~jim/lambda.html) -- aimed at programmers * [[!wikipedia Scheme (programming language)]] * [[!wikipedia Objective Caml]] @@ -53,6 +54,7 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Moses Schönfinkel]] * [[!wikipedia Alonzo Church]]

* [[!wikipedia Combinatory logic]] +* [Combinatory logic](http://plato.stanford.edu/entries/logic-combinatory/) at the Stanford Encyclopedia of Philosophy * [[!wikipedia B,C,K,W system]] * [[!wikipedia SKI combinatory calculus]]

* [[!wikipedia Church-Rosser theorem]] @@ -75,6 +77,8 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Bottom type]] * [[!wikipedia Typed lambda calculus]] * [[!wikipedia Simply typed lambda calculus]] +* [Type Theory](http://plato.stanford.edu/entries/type-theory/) at the Stanford Encyclopedia of Philosophy +* [Church's Type Theory](http://plato.stanford.edu/entries/type-theory-church/) at the Stanford Encyclopedia of Philosophy * [[!wikipedia Type polymorphism]] * [[!wikipedia System F]] @@ -88,8 +92,10 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Continuation]] * [[!wikipedia Continuation-passing style]] -* [[!wikipedia Call-with-current-continuation]] +* [[!wikipedia Call-with-current-continuation]] +* [Intro to call/cc](http://community.schemewiki.org/?call-with-current-continuation) at SchemeWiki * [[!wikipedia Delimited continuation]] +* [Delimited/composable continuations tutorial](composable-continuations-tutorial) at SchemeWiki ## Monads ##