3 citations · 5 across the 14 of their papers we have counts for
1 paper · 2 filters
Sam van Gool, Adrien Guatto, George Metcalfe +1
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous…