SPLASH 2018 (series) / Paventhan Vivekanandan
Not registered as user yet
Name:Paventhan Vivekanandan
Affiliation:Indiana University Bloomington
Contributions
META'18 | Code Generation for Higher Inductive Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2018-profile
View general profile
View general profile