[Caml-list] Continuations tutorial/examples in OCaml

[Caml-list] Continuations tutorial/examples in OCaml

[Benjamin C. Pierce]

I've been discussing programming idioms based on continuations with some
students, and I'd like to find a nice tutorial or compendium of examples
illustrating some of the useful and mind-bending things that can be done.

I know there are lots of tutorials from the Scheme community, but they
tend to depend on continuations as a *language* mechanism (call/cc),
which OCaml (which is the context of this discussion) doesn't have.  So
I'd prefer to find something that develops the same ideas in a more
concrete way, using an explicit continuation-passing style.  [Scheme (or
Haskell, SML, or whatever) syntax is no problem, as long as the
continuations are explicit.]
  
Pointers appreciated...

     Benjamin

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] Continuations tutorial/examples in OCaml

[eijiro_sumii]

From: "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
> I've been discussing programming idioms based on continuations with some
> students, and I'd like to find a nice tutorial or compendium of examples
> illustrating some of the useful and mind-bending things that can be done.

The following paper includes a nice application of CPS to backtracking
in regular expression matching.  It is implemented in (Standard) ML,
of course!

  Robert Harper.  Functional Pearl: Proof-directed debugging.  Journal
  of Functional Programming, 9(4):463-469, July 1999.  Also in
  Proceedings of the Workshop on Functional and Declarative
  Programming in Education, 1999.

--
Eijiro Sumii (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/)
Research Associate of Yonezawa Laboratory, University of Tokyo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners