27 citations · 48 across the 3 of their papers we have counts for
1 paper · 2 filters
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz +3
Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to bu…