Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi. A DSL for compensable and interruptible executions. In Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017. pages 8-14, ACM, 2017. [doi]
Abstract is missing.