Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Authors 0

1. Author list not loaded yet.