PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Arthur Azevedo de Amorim

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

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