Lucius Gregory Meredith, Delimited continuations are actually co-monadic

Delimited continuations are actually co-monadic

Short Description:

.We show how the Dybvig, Peyton-Jones, Sabry monadic account of delimited continuations is actually a form of information hiding that hides too much! In particular, it hides the why's and the wherefores of the delimited continuations. They are actually co-monadic in nature and arise naturally from a notion of evaluation context. If time permits we will illustrate some very recent results on how reified evaluation contexts solves certain problems in higher category models of a variety of calculi while at the same time providing some new insights on resource constrained computations.

About the speaker:

Lucius Gregory Meredith is a Managing Partner, Biosimilarity LLC

He is the author of the book "Monadic Design Patterns for the Web": http://www.artima.com/shop/monadic_design_patterns