Registered user since Thu 24 May 2018
Name:Aaron Stump
Affiliation:University of Iowa, USA
Contributions
| CPP 2018 | Generic Derivation of Induction for Impredicative Encodings in Cedille | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile