Recursive calls over recursive data are widely useful for generating
pro...
It is natural for probabilistic programs to use conditionals to express
...
Domain-specific languages (DSLs) are touted as both easy to embed in pro...
Probabilistic programming languages are valuable because they allow us t...
Probabilistic inference procedures are usually coded painstakingly from
...
Probabilistic programming languages and modeling toolkits are two modula...
We implement Groenendijk and Stokhof's partition semantics of questions ...
Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logical...