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

Registered user since Fri 30 Jun 2023

Name:Carlo Angiuli
Country:United States
Affiliation:Indiana University
Personal website: https://www.carloangiuli.com/
X (Twitter): https://x.com/carloangiuli
GitHub: https://github.com/cangiuli

Contributions

2024

HOPE

  • Committee Member in Program Committee within the HOPE 2024-track

POPL

  • Committee Member in Program Committee within the POPL-track

2023

POPL

  • Author of An Order-Theoretic Analysis of Universe Polymorphism within the POPL-track

2021

POPL

  • Author of Internalizing Representation Independence with Univalence within the POPL-track

2018

POPL

  • Author of Computational Higher Type Theory within the TutorialFest-track

2017

POPL

  • Author of Computational Higher-Dimensional Type Theory within the POPL-track
Share
xTue 28 Oct 03:03
using conf.researchr.org (v1.72.1)
Support page
Sign Up