Tue 3 Sep 2024 11:24 - 11:42 at Green 1-2-3 - Algebraic and Computational Effects Chair(s): Patrick Bahr
We present an arrow calculus with operations and handlers, and its operational and denotational semantics. The calculus is an extension of Lindley, Wadler and Yallop’s arrow calculus. The denotational semantics is given using strong (pro)monad A in the bicategory of categories and profunctors. The construction of appropriate strong monad A is not trivial because of a size problem. To build denotational semantics, we investigate what A-algebras are, and a handler is interpreted as an A-homomorphisms between A-algebras. The syntax and operational semantics are derived from the observations on A-algebras. We prove the soundness and adequacy theorem of the operational semantics for the denotational semantics.
Tue 3 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 3 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | Algebraic and Computational EffectsICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Patrick Bahr IT University of Copenhagen | ||
10:30 18mTalk | Abstracting Effect Systems for Algebraic Effect Handlers ICFP Papers and Events Takuma Yoshioka Kyoto University, Taro Sekiyama National Institute of Informatics; SOKENDAI, Atsushi Igarashi Kyoto University DOI | ||
10:48 18mTalk | Parallel Algebraic Effect Handlers ICFP Papers and Events Ningning Xie University of Toronto; Google DeepMind, Daniel D. Johnson University of Toronto; Google DeepMind, Dougal Maclaurin Google DeepMind, Adam Paszke Google DeepMind DOI | ||
11:06 18mTalk | Abstract Interpreters: A Monadic Approach to Modular Verification ICFP Papers and Events Sébastien Michelland Université Grenoble-Alpes - Grenoble INP - LCIS, Yannick Zakowski Inria - ENS de Lyon - CNRS - UCBL1 - LIP - UMR 5668, Laure Gonnord Université Grenoble-Alpes - Grenoble INP - LCIS DOI Pre-print | ||
11:24 18mTalk | Algebraic effects and handlers for arrowsJFP First Paper JFP First Papers Takahiro Sanada Fukui Prefectural University | ||
11:42 18mTalk | How to Bake a Quantum Π ICFP Papers and Events Jacques Carette McMaster University, Chris Heunen University of Edinburgh, Robin Kaarsgaard University of Southern Denmark, Amr Sabry Indiana University DOI | ||