Quantitative program reasoning with graded modal types, Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III, ICFP 2019
Gram: A linear functional language with graded modal types (extended abstract), Dominic Orchard and Vilem-Benjamin Liepelt, TLLA 2017.
- 2-page extended abstract with early ideas about the language, before the name was changed to Granule.
Combining effects and coeffects via grading, Marco Gaboardi, Shinya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu, ICFP 2016
- The system in this paper pre-date Granule, but provided some core ideas which are still at the theroetical core of Granule-though Granule adds a lot more language features on top.