Andreas Abel

Cited by

	All	Since 2018
Citations	2406	1096
h-index	28	19
i10-index	61	35

220

110

165

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 27 29 31 59 60 76 72 88 89 84 101 108 118 147 163 149 191 209 212 187 145

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Andrea VezzosiPostdoc, IT University CopenhagenVerified email at itu.dk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Jesper CockxTU DelftVerified email at sikanda.be
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
James ChapmanIOGVerified email at iohk.io
Miguel PaganoProfessor at FaMAF, Universidad Nacional de CórdobaVerified email at unc.edu.ar
Théo WinterhalterInria SaclayVerified email at inria.fr
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Marcin BenkeSenior Lecturer, University of WarsawVerified email at mimuw.edu.pl
Ana BoveAssociate professor of Computer Science at Chalmers University of TechnologyVerified email at chalmers.se
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Steven SchäferPhD student at the Programming Systems Lab, Saarland UniversityVerified email at ps.uni-saarland.de
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk

Andreas Abel

Senior Lecturer at the Department of Computer Science and Engineering, Gothenburg University

Verified email at gu.se - Homepage

Type Theory Functional Programming Verification Termination


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Copatterns: Programming infinite structures by observations A Abel, B Pientka, D Thibodeau, A Setzer ACM SIGPLAN Notices 48 (1), 27-38, 2013	171	2013
Wellfounded recursion with copatterns: A unified approach to termination and productivity AM Abel, B Pientka ACM SIGPLAN Notices 48 (9), 185-196, 2013	112	2013
A polymorphic lambda-calculus with sized higher-order types A Abel Doktorarbeit (PhD thesis), LMU München, 2006	107*	2006
MiniAgda: Integrating sized and dependent types A Abel arXiv preprint arXiv:1012.4896, 2010	99	2010
Cubical Agda: a dependently typed programming language with univalence and higher inductive types A Vezzosi, A Mörtberg, A Abel Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019	95	2019
Termination checking with types A Abel RAIRO-Theoretical Informatics and Applications 38 (04), 277-319, 2004	92	2004
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	85	2002
Iteration and coiteration schemes for higher-order and nested datatypes A Abel, R Matthes, T Uustalu Theoretical Computer Science 333 (1-2), 3-66, 2005	72	2005
Normalization by evaluation for Martin-Löf Type Theory with typed equality judgements A Abel, T Coquand, P Dybjer 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 3-12, 2007	64	2007
On irrelevance and algorithmic equality in predicative type theory A Abel, G Scherer Logical methods in computer science 8, 2012	63	2012
Decidability of conversion for type theory in type theory A Abel, J Öhman, A Vezzosi Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017	61	2017
Well-founded recursion with copatterns and sized types A Abel, B Pientka Journal of Functional Programming 26, e2, 2016	61	2016
Verifying Haskell programs using constructive type theory A Abel, M Benke, A Bove, J Hughes, U Norell Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, 62-73, 2005	57	2005
Normalization by evaluation: Dependent types and impredicativity A Abel Habilitation. Ludwig-Maximilians-Universität München, 2013	51	2013
Semi-continuous sized types and termination A Abel Logical methods in computer science 4, 2008	51	2008
Higher-order dynamic pattern unification for dependent types and records A Abel, B Pientka Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011	50	2011
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic A Abel, BYE Chang, F Pfenning	46	2001
A unified view of modalities in type systems A Abel, JP Bernardy Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020	45	2020
Normalization by evaluation for Martin-Löf type theory with one universe A Abel, K Aehlig, P Dybjer Electronic Notes in Theoretical Computer Science 173, 17-39, 2007	42	2007
Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types A Abel arXiv preprint arXiv:1202.3496, 2012	40	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors