Time Warps, from Algebra to Algorithms

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…