Showing cs.PLShow all
2 papers · 1 filter
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…