Not registered as user yet

Name:Paventhan Vivekanandan
Affiliation:Indiana University Bloomington

Contributions

META'18 Author of Code Generation for Higher Inductive Types within the Meta-track