Carlo Angiuli
where else to find them
what they talk about
where they keep going back
- POPL2 editions2021–2023
on a stage with
- Ahmet Yigit Erdemonce
- Anders Mörtbergonce
- Ari Prakashonce
all 11 in the filters
who talks about the same things
- Andreas Abel6 talks
- Jaco van de Pol5 talks
- Vikraman Choudhury10 talks
- Andreas Nuyts3 talks
- Shengyi Jiang5 talks
- Loïc Pujet6 talks
| title | conference | date |
|---|---|---|
| CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation | FARM 2026 | 2026-08-24 |
CounterChoice is a client-side React web app that takes a user-drawn cantus firmus and uses the finite-choice logic language Dusa to generate first‑species… | ||
| An Order-Theoretic Analysis of Universe Polymorphism | POPL 2023 | 2023-01-15 |
Claims that universe polymorphism equals monads on strict partial orders and that every usable universe hierarchy embeds into newly defined displacement… | ||
| Internalizing Representation Independence with Univalence | POPL 2021 | 2021-01-17 |
Proves a concrete method to internalize representation independence inside dependent type theory by combining univalence as a computable ua with higher… | ||
| nothing matches | ||