Publications



  • 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.

Preprints

Coming soon!