A Calculus of Parallel Continuations and its Monad Models(Concurrency Theory and Applications '96)
Hiroyuki Satō · Institutional Repositories DataBase (IRDB) · 1997
The importance of continuation is increasing in computer science.Because continuation is an ab- straction of single thread, however, we need a substantial extension of continuation in order to directly manipulate parallelism using continuation.In this paper, we $\mathrm{r}$ -define continuation with anonymous returns and compositions which make the algebra of continuations tractable.We give a monad model to a subclass of continuations.Moreover, we introduce a parallel construct to continuations, i.e., extension with pairing $(\mathrm{t}^{-}$ , -$)$ ).We show that the synchronization can be represented in this framework.We also give its model in monoidal categories.Furthermore, we discuss a gap between cartesian categories in which value-based model can be constructed, and monoidal categories in which parallel continuations can be represented.