Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paventhan Vivekanandan
conf.researchr.org general profile
SPLASH 2018 profile
Not registered as user
Name:
Paventhan Vivekanandan
Affiliation:
Indiana University Bloomington
Contributions
2018
META
Author of Code Generation for Higher Inductive Types within the Meta-track
Share
x
Sun 22 Dec 13:32