Combining Effects and Coeffects via Grading

• PDF
• 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”