返回导师列表
MH

Michael H. Borkowski

Professor · Department of Computer Science and Engineering

Purdue University · United States
Programming Languages and Compilers

简介

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).

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。