Publications

• Quantitative program reasoning with graded modal types, Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III, ICFP 2019

  • The Granule paper: describes much of our approach and the state of the language, detailing the type system with various example.
  • Version with appendices
  • Associated code release
  • to appear in the Proceedings of the ACM on Programming Languages, Volume 3(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.

Preprints

Coming soon!