18 citations · 37 across the 3 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 18 cited
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★ 18 cited
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…