continuations.txt

=== Nächste Schritte

* delimited verstehen.
  Gibt es ein logisches Pendant?
  http://www.lix.polytechnique.fr/~danko/MSC-lyon-2014-webpage/

* http://www.cs.bham.ac.uk/~hxt/research/hayo-thielecke-publications.shtml
  Kategorieller Rahmen für CPS

* Zipper können mittels delimited continuations generisch
  von einer traverse-Funktion abgeleitet werden:
  http://okmij.org/ftp/Haskell/ZipperTraversable.hs

* Rückwärts zippen:
  http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WalkZip3/

* http://smc2014.univ-lyon1.fr/doku.php?id=week1
  Kurs von Olivier Danvy und Chung-Chieh Shan

* http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=miquel.pdf
  Alexandre Miquel: callcc ist Peirce's law.

* http://www.ccs.neu.edu/racket/pubs/icfp05-pcmkf.pdf
  Zeigt, wie man Continuations ohne CPS implementieren kann.

* http://www.cs.indiana.edu/pub/techreports/TR615.pdf
  A monadic framework for delimited continuations.

* http://okmij.org/ftp/Haskell/ShiftResetGenuine.hs
  einfacher als der Ansatz aus dem Pugs-Repo?

* Originalarbeit von Chetan Murphy zur Extraktion von algorithmischen
  Inhalt aus klassischen Beweisen: http://www.cs.cmu.edu/~crary/819-f09/Murthy91.pdf