Document Open Access Logo

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)

Authors Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Thumbnail PDF

Artifact Description

  • Filesize: 289 kB
  • 2 pages

Document Identifiers

Author Details

Hiroaki Inoue
Tomoyuki Aotani
Atsushi Igarashi

Cite AsGet BibTex

Hiroaki Inoue, Tomoyuki Aotani, and Atsushi Igarashi. ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 4:1-4:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)



This artifact provides the Scala, Haskell, and Purescript implementations of ContextWorkflow, an embedded domain-specific language for interruptible and compensable executions, and demonstrates the maze search example described in the companion paper. The Haskell and Purescript implementations provide the core language constructs including \texttt{checkpoint} for partial aborts and \texttt{sub} for sub-workflows and show that ContextWorkflow can be embedded in eager and lazy languages as described in the companion paper. The Scala implementation does not only provide user-friendly syntax of ContextWorkflow but also gives the maze search example as an interactive GUI application.
  • workflow
  • asynchronous exception
  • checkpoint
  • monad
  • embedded domain specific language


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail