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.

Preprints

Coming soon!