#### This program is tentative and subject to change.

Mon 17 Jan 2022 12:05 - 12:35 at PEPM - Contributed Talks 1 Chair(s): Antonina Nepeivoda

Algebraic effects and handlers support composable and structured control-flow abstraction. However, existing designs of algebraic effects often require effects to be executed sequentially. This paper studies parallel algebraic effect handlers. In particular, we formalize $\lambda^{p}$, an untyped lambda calculus which models two key features, effect handlers and paralleliable computations, the latter of which takes the form of a \textbf{for} expression as inspired by the Dex programming language. We present various interesting examples expressible in our calculus, and provide a Haskell implementation. We hope this paper provides a basis for future designs and implementations of parallel algebraic effect handlers.

 Short paper (paper5.pdf) 519KiB

#### Mon 17 JanDisplayed time zone: Eastern Time (US & Canada) change

 11:35 - 12:35 Contributed Talks 1PEPM at PEPM Chair(s): Antonina Nepeivoda Program Systems Institute of RAS, Russia 11:3530mTalk Partially Evaluating Symbolic Interpreters for AllRemotePEPMShangyin Tan Purdue University, Guannan Wei Purdue University, Tiark Rompf Purdue University File Attached 12:0530mTalk Parallel Algebraic Effect HandlersRemotePEPMNingning Xie University of Cambridge, Daniel D. Johnson Google Research, Dougal Maclaurin Google Research, Adam Paszke Google Research File Attached