Andreas Abel

Cited by

	All	Since 2016
Citations	1853	870
h-index	25	17
i10-index	52	28

200

100

150

2001200220032004200520062007200820092010201120122013201420152016201720182019202020215 10 28 30 31 66 57 66 76 85 86 81 104 101 120 150 151 146 190 198 34

Co-authors

Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
Andrea VezzosiPostdoc, IT University CopenhagenVerified email at itu.dk
Thorsten AltenkirchProfessor of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Jesper CockxTU DelftVerified email at sikanda.be
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
James ChapmanIOHKVerified email at iohk.io
Théo WinterhalterPostdoc, MPI-SPVerified email at csp.mpg.de
Alberto MomiglianoDI, University of MilanVerified email at di.unimi.it
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
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
Miguel PaganoProfessor at FaMAF, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
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	136	2013
Wellfounded recursion with copatterns: A unified approach to termination and productivity AM Abel, B Pientka ACM SIGPLAN Notices 48 (9), 185-196, 2013	97	2013
A polymorphic lambda-calculus with sized higher-order types A Abel Doktorarbeit (PhD thesis), LMU München, 2006	96*	2006
Termination checking with types A Abel RAIRO-Theoretical Informatics and Applications 38 (04), 277-319, 2004	90	2004
MiniAgda: Integrating sized and dependent types A Abel arXiv preprint arXiv:1012.4896, 2010	86	2010
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	78	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	65	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	56	2007
On irrelevance and algorithmic equality in predicative type theory A Abel, G Scherer arXiv preprint arXiv:1203.4716, 2012	49	2012
Semi-continuous sized types and termination A Abel International Workshop on Computer Science Logic, 72-88, 2006	48	2006
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	44	2019
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic A Abel, BYE Chang, F Pfenning	43	2001
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	42	2005
Higher-order dynamic pattern unification for dependent types and records A Abel, B Pientka International Conference on Typed Lambda Calculi and Applications, 10-26, 2011	39	2011
Well-founded recursion with copatterns and sized types A Abel, B Pientka Journal of Functional Programming 26, 2016	38	2016
Verifying a semantic βη-conversion test for Martin-Löf type theory A Abel, T Coquand, P Dybjer Mathematics of Program Construction, 29-56, 2008	36	2008
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	35	2007
A predicative strong normalisation proof for a λcalculus with interleaving inductive types A Abel, T Altenkirch International Workshop on Types for Proofs and Programs, 21-40, 1999	34	1999
Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types A Abel arXiv preprint arXiv:1202.3496, 2012	32	2012
Normalization by Evaluation: Dependent Types and Impredicativity A Abel Unpublished. http://www. tcs. ifi. lmu. de/~ abel/habil. pdf, 2013	28	2013

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

Upload PDF

Follow this author

Cited by

Co-authors