Andreas Abel

Cited by

	All	Since 2019
Citations	2673	1210
h-index	30	18
i10-index	62	33

220

110

165

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 28 30 32 57 64 78 73 84 90 86 101 109 119 134 173 146 192 212 207 192 204 201

Public access

View all

24 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
David ThibodeauPhD graduate, McGill UniversityVerified email at mail.mcgill.ca
Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Ralph MatthesCNRS, IRIT, Toulouse, FranceVerified email at irit.fr
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Jesper CockxTU DelftVerified email at sikanda.be
Anders MörtbergDepartment of Mathematics Stockholm UniversityVerified email at math.su.se
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Jean-Philippe BernardyUniversity of GothenburgVerified email at gu.se
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
James ChapmanIOG (IOHK)Verified email at iohk.io
Joakim ÖhmanIMDEA Software InstituteVerified email at imdea.org
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

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	185	2013
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	119	2019
A polymorphic lambda-calculus with sized higher-order types A Abel Doktorarbeit (PhD thesis), LMU München, 2006	111*	2006
Wellfounded recursion with copatterns: A unified approach to termination and productivity AM Abel, B Pientka ACM SIGPLAN Notices 48 (9), 185-196, 2013	109	2013
MiniAgda: Integrating sized and dependent types A Abel arXiv preprint arXiv:1012.4896, 2010	99	2010
Termination checking with types A Abel RAIRO-Theoretical Informatics and Applications 38 (04), 277-319, 2004	99	2004
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	90	2002
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	83	2017
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	74	2005
Normalization by evaluation: Dependent types and impredicativity A Abel Habilitation. Ludwig-Maximilians-Universität München, 2013	69	2013
On irrelevance and algorithmic equality in predicative type theory A Abel, G Scherer Logical methods in computer science 8, 2012	69	2012
A unified view of modalities in type systems A Abel, JP Bernardy Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020	67	2020
Well-founded recursion with copatterns and sized types A Abel, B Pientka Journal of Functional Programming 26, e2, 2016	66	2016
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	65	2007
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	59	2005
Higher-order dynamic pattern unification for dependent types and records A Abel, B Pientka Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011	58	2011
Semi-continuous sized types and termination A Abel Logical methods in computer science 4, 2008	53	2008
POPLMark reloaded: Mechanizing proofs by logical relations A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark Journal of Functional Programming 29, e19, 2019	49	2019
Cubical Agda: A dependently typed programming language with univalence and higher inductive types A Vezzosi, A Mörtberg, A Abel Journal of Functional Programming 31, e8, 2021	46	2021
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	46	2007

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