Andreas Abel

Citée par

	Toutes	Depuis 2018
Citations	2461	1151
indice h	28	19
indice i10	61	36

220

110

165

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 26 29 31 59 60 76 72 88 89 84 101 108 119 146 164 149 191 209 212 189 196

Accès public

Tout afficher

21 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

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

Suivre

Andreas Abel

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

Adresse e-mail validée de gu.se - Page d'accueil

Type Theory Functional Programming Verification Termination


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Copatterns: Programming infinite structures by observations A Abel, B Pientka, D Thibodeau, A Setzer ACM SIGPLAN Notices 48 (1), 27-38, 2013	173	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
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	100	2019
MiniAgda: Integrating sized and dependent types A Abel arXiv preprint arXiv:1012.4896, 2010	100	2010
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	73	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	65	2007
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	63	2017
On irrelevance and algorithmic equality in predicative type theory A Abel, G Scherer Logical methods in computer science 8, 2012	63	2012
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	58	2005
Normalization by evaluation: Dependent types and impredicativity A Abel Habilitation. Ludwig-Maximilians-Universität München, 2013	53	2013
Higher-order dynamic pattern unification for dependent types and records A Abel, B Pientka Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011	53	2011
A unified view of modalities in type systems A Abel, JP Bernardy Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020	52	2020
Semi-continuous sized types and termination A Abel Logical methods in computer science 4, 2008	51	2008
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic A Abel, BYE Chang, F Pfenning	46	2001
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	43	2007
Verifying a semantic βη-conversion test for Martin-Löf type theory A Abel, T Coquand, P Dybjer Mathematics of Program Construction, 29-56, 2008	41	2008

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs