Publications

Mechanizing Refinement Types

Michael H. Borkowski, Niki Vazou, and Ranjit Jhala. To appear in 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)