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