Publications


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