64 citations · 157 across the 11 of their papers we have counts for
1 paper · 1 filter
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…