• Sign in
  • Sign up
conf.researchr.org / Carlo Angiuli
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2021 profile

Not registered as user yet

Name:Carlo Angiuli
Affiliation:Carnegie Mellon University

Contributions

POPL 2021 Author of Internalizing Representation Independence with Univalence within the POPL-track
POPL 2018 Author of Computational Higher Type Theory within the TutorialFest-track
POPL 2017 Author of Computational Higher-Dimensional Type Theory within the POPL-track

Share
xSun 22 May 10:20
using conf.researchr.org (v1.55.6)
Support page
Sign Up