(2016) Combining Effects and Coeffects via Grading

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

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