
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