Search Results for 'wpre'

wpre published presentations and documents on DocSlides.

Relatively Complete Verification of Higher-Order Programs

by giovanna-bartolotta

(via Automated Refinement Type Inference). Tachio...