Carlo Angiuli
Computer Science · Indiana University
Publications
24
Citations
226
Est. group size
—
Recurring co-author estimate
Active years
17
Publishing since 2010
- A dependently-typed calculus of event telicity and culminativity
Mathematical Structures in Computer Science · 2026
- CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation
Tokyo Tech Research Repository (Tokyo Institute of Technology) · 2026
- An Order-Theoretic Analysis of Universe Polymorphism
Proceedings of the ACM on Programming Languages · 2023
- Artifact of “An Order-Theoretic Analysis of Universe Polymorphism”
Artifact Digital Object Group · 2023
- A Cubical Language for Bishop Sets
Logical Methods in Computer Science · 2022
- Controlling unfolding in type theory
arXiv (Cornell University) · 2022
- Syntax and models of Cartesian cubical type theory
Mathematical Structures in Computer Science · 2021
- Normalization for Cubical Type Theory
2021
- Internalizing representation independence with univalence
Proceedings of the ACM on Programming Languages · 2021
- Cubical Syntax for Reflection-Free Extensional Equality
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019
- Cubical Syntax for Reflection-Free Extensional Equality
arXiv (Cornell University) · 2019
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018
- Computational higher-dimensional type theory
ACM SIGPLAN Notices · 2017
- Meaning explanations at higher dimension
Indagationes Mathematicae · 2017
- Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
arXiv (Cornell University) · 2017
- arXiv (Cornell University)×5
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)×2
- Mathematical Structures in Computer Science×2
- Proceedings of the ACM on Programming Languages×2
- Journal of Functional Programming×1
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 9, 2026.
Claim or correct this profile