Travelled to:1 × France
1 × Germany
1 × Hungary
1 × Portugal
1 × Spain
Collaborated with:∅ C.Sattler Joakim Öhman A.Vezzosi M.Benke A.Bove J.Hughes U.Norell
Talks about:type (8) theori (4) normal (3) continu (2) termin (2) evalu (2) judgement (1) heterogen (1) construct (1) structur (1)
Person: Andreas Abel 0001
DBLP: 0001:Andreas_Abel
Contributed to:
2011
2009
200720062003
2005
2018
2019Wrote 8 papers:
- FoSSaCS-2011-Abel #similarity #type system
- Irrelevance in Type Theory with a Heterogeneous Equality Judgement (AA0), pp. 57–71.
- CSL-2009-Abel #evaluation #normalisation
- Typed Applicative Structures and Normalization by Evaluation for System Fω (AA0), pp. 40–54.
- TLCA-2007-Abel #induction #normalisation
- Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
- CSL-2006-Abel #termination
- Semi-continuous Sized Types and Termination (AA0), pp. 72–88.
- TLCA-2003-Abel #termination
- Termination and Productivity Checking with Continuous Types (AA0), pp. 1–15.
- Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification
- Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.
- POPL-2018-0001OV #decidability #type system
- Decidability of conversion for type theory in type theory (AA0, JÖ, AV), p. 29.
- PPDP-2019-0001S #call-by #evaluation #normalisation #λ-calculus
- Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus (AA0, CS), p. 12.