79 citations · 353 across the 23 of their papers we have counts for
1 paper · 2 filters
Aleš Bizjak, Lars Birkedal
It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabil…