- Authors:
- Marco Gaboardi
- Shin-ya Katsumata
- Dominic Orchard
- Flavien Breuvart
- Tarmo Uustalu
Notes
- In practice, many programs are both effectful and coeffectful
- Having both (bieffects) can cause interactions between both, and is thus more powerful
- Very roughly “producer” vs “consumer” roles
- “We have get to develop a type checking procedure for our calculus”