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