Carlo Angiuli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Fat Cell Structures and Generalized Algebraic Theories. | Xu Huang, Carlo Angiuli |
| 2021 | LICS | Normalization for Cubical Type Theory. | Jonathan Sterling, Carlo Angiuli |
| 2018 | CSL | Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. | Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper |
| 2017 | POPL | Computational higher-dimensional type theory. | Carlo Angiuli, Robert Harper, Todd Wilson |
| 2016 | ESOP | Automatically Splitting a Two-Stage Lambda Calculus. | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
| 2014 | ICFP | Homotopical patch theory. | Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper |