Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018

Not registered as user yet

Name: Paventhan Vivekanandan

Affiliation: Indiana University Bloomington

Contributions

META'18Author of Code Generation for Higher Inductive Types within the Meta-track
Show activities from other conferences

SPLASH 2018-profile
View general profile