ICFP 2021 (series) / TyDe 2021 (series) / Workshop on Type-Driven Development 2021 /
Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
Algebraic effects and handlers have found their way into programming languages. The past decade has seen different designs of calculi with support for effect handlers, as well as different variants of effect handlers developed for specific applications. In this paper, we study the extension of the Effekt language with bidirectional effects. Effekt is unique in its treatment of effect polymorphism, whereas bidirectional effects are useful for expressing bidirectional communication. We present a sound formalization of the extended Effekt language, and demonstrate several practical examples.
(tyde21-abstract.pdf) | 513KiB |
Sun 22 AugDisplayed time zone: Seoul change
Sun 22 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | Session ITyDe at TyDe Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
20:00 30mTalk | Interactive Haskell Type Inference Exploration (Extended Abstract) TyDe File Attached | ||
20:30 30mTalk | Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) TyDe Kazuki Niimi Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Jonathan Immanuel Brachthäuser EPFL File Attached | ||
21:00 30mTalk | Translation Certification for Smart Contracts (Extended Abstract) TyDe Jacco Krijnen Utrecht University, Manuel Chakravarty Tweag & IOHK, Gabriele Keller Utrecht University, Wouter Swierstra Utrecht University, Netherlands File Attached |