λPSI: exact inference for higher-order probabilistic programs.

Timon Gehr, Samuel Steffen, Martin T. Vechev

Browse the full PLDI paper archive.