17 citations · 54 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 6 cited
Effect Handling for Composable Program Transformations in Edward2
Dave Moore, Maria I. Gorinova
Algebraic effects and handlers have emerged in the programming languages community as a convenient, modular abstraction for controlling computational effects. They have found sever…
cs.PL2018★ 13 cited
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
Stan is a probabilistic programming language that has been increasingly used for real-world scalable projects. However, to make practical inference possible, the language sacrifice…