7 citations · 7 across the 1 of their papers we have counts for
1 paper
Jack Hughes, Michael Vollmer, Dominic Orchard
The recent notion of graded modal types provides a framework for extending type theories with fine-grained data-flow reasoning. The Granule language explores this idea in the conte…