3 papers
math.LO2021
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…
cs.PL2018
A Generalized Modality for Recursion
Adrien Guatto
Nakano's later modality allows types to express that the output of a function does not immediately depend on its input, and thus that computing its fixpoint is safe. This idea, gua…
cs.PL2018
Hierarchical Memory Management for Mutable State
Adrien Guatto, Sam Westrick, Ram Raghunathan +2
It is well known that modern functional programming languages are naturally amenable to parallel programming. Achieving efficient parallelism using functional languages, however, r…