Conversation

Check out my ICFP talk about our work on connecting algebraic effects and contextual modal types!

Contextual Modal Types for Algebraic Effects and Handlers

Contextual Modal Types for Algebraic Effects and HandlersPaper DOI: 10.1145/3473580 Presented at None, part of ICFP 2021By Nikita Zyuzin, Aleksandar Nanevski

2

3

15

Brendan Zabarauskas

Replying to

Really cool work – excited to see where it goes! 🤩

3:39 AM · Aug 19, 2021Twitter Web App