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/

POPL 2016 Activities

• Author of T4: Programs and Proofs in the Coq Proof Assistant within the Tutorials-track in POPL 2016
• Author of T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) within the Tutorials-track in POPL 2016
• Show activities from other conferences