Back to advisors
MH

Michael H. Borkowski

Professor · Department of Computer Science and Engineering

Purdue University · United States
Programming Languages and Compilers

About

Michael H. Borkowski, Niki Vazou, and Ranjit Jhala, "Mechanizing Refinement Types", 51st ACM SIGPLAN Symposium on Principles of Programming Languages (London, United Kingdom) (POPL 2024).

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.