ICFP 2021
Sun 22 - Sat 28 August 2021
Sun 22 Aug 2021 20:30 - 21:00 at TyDe - Session I Chair(s): Hsiang-Shang ‘Josh’ Ko

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.

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
30m
Talk
Interactive Haskell Type Inference Exploration (Extended Abstract)
TyDe
Shuai Fu Monash University, Tim Dwyer Monash University, Peter J. Stuckey Monash University
File Attached
20:30
30m
Talk
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
30m
Talk
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