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!