(2016) Combining Effects and Coeffects via Grading

• Macro Gaboardi
• Shinya Katsumata
• Dominic Orchard
• Flavien Breuvart
• Tarmo Uustalu

• #algebraic-effects
• #functional-programming
• #linear-types