113 citations · 319 across the 18 of their papers we have counts for
Showing 2016 · cs.PLShow all
2 papers · 2 filters
cs.PL2016
No value restriction is needed for algebraic effects and handlers
Ohad Kammar, Matija Pretnar
We present a straightforward, sound Hindley-Milner polymorphic type system for algebraic effects and handlers in a call-by-value calculus, which allows type variable generalisation…
cs.PL2016★ 113 cited
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Sam Staton, Hongseok Yang, Chris Heunen +2
We study the semantic foundation of expressive probabilistic programming languages, that support higher-order functions, continuous distributions, and soft constraints (such as Ang…