From 4fe0ff3f1e1000ee136b83953d2acd49955fe345 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 24 Aug 2010 06:01:32 -0400 Subject: [PATCH] more offsite links Signed-off-by: Jim Pryor --- offsite_reading.mdwn | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 019edd2e..92a3e6ed 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 at SchemeWiki](http://community.schemewiki.org/?call-with-current-continuation) * [[!wikipedia Delimited continuation]] +* [Delimited/composable continuations tutorial at SchemeWiki](composable-continuations-tutorial) ## Monads ## -- 2.11.0