SPLASH 2018 (series) / Paventhan Vivekanandan
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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2018-profile
View general profile
View general profile