Sound probabilistic inference via guide types.

Di Wang, Jan Hoffmann, Thomas W. Reps

Browse the full PLDI paper archive.