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