113 citations · 319 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 41 cited
A Domain Theory for Statistical Probabilistic Programming
Matthijs Vákár, Ohad Kammar, Sam Staton
We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints. These are expressive languag…
cs.PL2018
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Ohad Kammar, Dylan McDermott
Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its retur…