Andreas Abel
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2020–2023
on a stage with
- Alberto Momiglianoonce
- Aliya Hameeronce
- Brigitte Pientkaonce
all 10 in the filters
who talks about the same things
- Jason Z. S. Hu6 talks
- Andrea Vezzosi3 talks
- Nicolas Tabareau14 talks
- Ondřej Lhoták11 talks
- Philip Wadler14 talks
- Amal Ahmed25 talks
| title | conference | date |
|---|---|---|
| A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized | ICFP 2023 | 2023-09-04 |
A graded dependent type theory is formalized in Agda (≈39,000 lines) with Π, weak/strong Σ, Nat, Empty, a universe, and a parameterized semiring‑like modality… | ||
| CycleQ: an efficient basis for cyclic equational reasoning | PLDI 2022 | 2022-06-13 |
CycleQ presents a cyclic proof system that folds equational reasoning into cycle formation via a synthesized subst rule, implemented as a Haskell GHC plugin… | ||
| POPLMark reloaded: Mechanizing proofs by logical relations | ICFP 2020 | 2020-08-23 |
Proposes a benchmark that mechanizes logical-relation proofs by proving strong normalization via Kripke-style logical relations for simply-typed lambda… | ||
| A Unified View of Modalities in Type Systems | ICFP 2020 | 2020-08-23 |
Proposes a single algebraic structure of modalities embedded in System F that recovers linear, usage-counting, security, sensitivity and belief-style systems… | ||
| nothing matches | ||