Registered user since Thu 20 Oct 2016
Name: Arthur Azevedo de Amorim
Bio: I am a graduate student in the Computer and Information Science department at the University of Pennsylvania since 2011. I work with Benjamin Pierce.
Affiliation: University of Pennsylvania
Personal website: https://www.cis.upenn.edu/~aarthur/
Contributions
| POPL 2016 | T4: Programs and Proofs in the Coq Proof Assistant T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile