Publications
-
Gram: A linear functional language with graded modal types (extended abstract), Dominic Orchard and Vilem-Benjamin Liepelt, TLLA 2017.
- 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 forms the basis for the theroetical core of Granule, though Granule adds a lot more language features on top.
Preprints
Coming soon!