Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Continuations tutorial/examples in OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: eijiro_sumii@a...
Subject: Re: [Caml-list] Continuations tutorial/examples in OCaml
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