X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=cb2dc3eefe53d27bb7fc39c7a4a3e0be67ef0e3e;hp=47e3faca9fce912dc5db1e374c2f085701181c86;hb=d0ad6cb4acfce6fc295c01fed698d80d82deafeb;hpb=6dafc7cc818b85b2b301db2764501f5e784b2946 diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 47e3faca..cb2dc3ee 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -139,7 +139,16 @@ community. ## Learning OCaml ## -* [[!wikipedia Objective Caml]] +* [[!wikipedia Objective Caml desc="Wikipedia overview of OCaml"]] + +* [A Concise Introduction to Objective Caml](http://www.csc.villanova.edu/~dmatusze/resources/ocaml/ocaml.html) + +* Here are [two](http://www.cs.jhu.edu/~scott/pl/lectures/caml-intro.html) [other](http://pauillac.inria.fr/caml/FAQ/stephan.html) bried overviews of OCaml, aimed at readers who already have some programming experience. + +* Here's a [more detailed tutorial](http://www.ocaml-tutorial.org/) for OCaml. + +* Jason Hickey has posted a [draft of a nice book introducing OCaml](http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf). + ## Side-effects / mutation ## @@ -275,6 +284,14 @@ invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Pres * [Online Bibliography of Scheme Research: Continuations and Continuation Passing Style](http://library.readscheme.org/page6.html) +* Delimited Continuations in MzScheme: +[Part 1](http://schemekeys.blogspot.com/2006/11/prompts-their-interaction-with-dynamic.html) +[Part 2](http://schemekeys.blogspot.com/2006/12/delimited-continuations-in-mzscheme.html) +[Part 3](http://schemekeys.blogspot.com/2007/01/going-further-with-primitives.html) +[Part 4](http://schemekeys.blogspot.com/2007/01/odd-and-ends.html) + +* [Delimited continuations in natural language semantics](http://okmij.org/ftp/gengo/) + ## Linear Logic ##