BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: 0001:Andreas_Abel

Contributed to:

FOSSACS 20112011
CSL 20092009
TLCA 20072007
CSL 20062006
TLCA 20032003
Haskell 20052005
POPL 20182018
PPDP 20192019

Wrote 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, , 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.