X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=readings.mdwn;h=74a726d69e350010ca56137dc327284c256c815d;hp=b056b7e6334f088ef58b30a34565ce69008fc541;hb=44f72e6eda8faaa6d9d352c57fab8cff10676618;hpb=ec060e898835120ccbe5e2779329d9c3633fc5e9;ds=sidebyside diff --git a/readings.mdwn b/readings.mdwn index b056b7e6..74a726d6 100644 --- a/readings.mdwn +++ b/readings.mdwn @@ -242,6 +242,8 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr * [Haskell wiki on Continuations](http://www.haskell.org/haskellwiki/Continuation) * [Haskell wikibook on Continuation Passing Style](http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style)

+ + * [[!wikipedia Delimited continuation]] * Ken's paper [Shift to Control](http://repository.readscheme.org/ftp/papers/sw2004/shan.pdf), comparing some of the different delimited continuation operators * Racket's documents on [the variety of continuation operators](http://docs.racket-lang.org/reference/cont.html?q=abort#%28mod-path._racket%2Fcontrol%29) @@ -272,4 +274,7 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr * [[!wikipedia Linear logic]] +### Other ### + +* [Unreliable Guide to OCaml Modules](http://lambdafoo.com/blog/2015/05/15/unreliable-guide-to-ocaml-modules/)