Andreas Abel

Identifiers

• name variant Andreas Abel 0.60 · backfill

Papers (6)

1. A Graded Modal Dependent Type Theory with Erasure, Formalized cs.LO · 2026 · author #1
2. A Type Theory for Defining Logics and Proofs cs.LO · 2019 · author #3
3. Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus cs.PL · 2019 · author #1
4. uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures cs.PF · 2018 · author #1
5. Type checking through unification cs.PL · 2016 · author #2
6. Semi-continuous Sized Types and Termination cs.PL · 2008 · author #1

Mentions

• 0804.0876 #1 · backfill · confidence 0.70 Andreas Abel

Frequent Coauthors

• Brigitte Pientka 1 shared papers
• Christian Sattler 1 shared papers
• David Thibodeau 1 shared papers
• Francesco Mazzoli 1 shared papers
• Francisco Ferreira 1 shared papers
• Jan Reineke 1 shared papers
• Nils Anders Danielsson 1 shared papers
• Oskar Eriksson 1 shared papers
• Rebecca Zucchini 1 shared papers