Revisiting Coroutines , by Ana Lucia de Moura and Roberto Ierusalimschy:
This paper defends the revival of coroutines as a general control abstraction.
After proposing a new classification of coroutines, we introduce the concept of full asymmetric coroutines and provide a precise definition for it through an operational semantics.
We then demonstrate that full coroutines have an expressive power equivalent to one-shot continuations and oneshot partial continuations...
Vellvm: Formalizing the LLVM Intermediate...
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed...
Monads in Action
Monads in Action, Andrzej Filinski, POPL 2010. In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an...
Pattern Calculus
Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before). The pattern calculus is a new foundation for computation, in which the expressive power of...
Post new comment