Pur
due University
P
rogramming
L
anguages Group
News
People
Research
Courses
Seminars
Github
Skip to main content
Translating GADTs from OCaml to Coq
Pedro da Costa Abreu
March 5, 2021
