Mechanizing Refinement Types (POPL'24)

Michael Borkowski
November 1, 2024
12p EST
WANG 1004