Andreas Abel
Andreas Abel
Senior Lecturer at the Department of Computer Science and Engineering, Gothenburg University
Verified email at - Homepage
Cited by
Cited by
Copatterns: programming infinite structures by observations
A Abel, B Pientka, D Thibodeau, A Setzer
ACM SIGPLAN Notices 48 (1), 27-38, 2013
Wellfounded recursion with copatterns: A unified approach to termination and productivity
AM Abel, B Pientka
ACM SIGPLAN Notices 48 (9), 185-196, 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
A polymorphic lambda-calculus with sized higher-order types
A Abel
Doktorarbeit (PhD thesis), LMU München, 2006
MiniAgda: Integrating sized and dependent types
A Abel
arXiv preprint arXiv:1012.4896, 2010
Termination checking with types
A Abel
RAIRO-Theoretical Informatics and Applications 38 (04), 277-319, 2004
A predicative analysis of structural recursion
A Abel, T Altenkirch
Journal of functional programming 12 (1), 1-41, 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
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
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
Well-founded recursion with copatterns and sized types
A Abel, B Pientka
Journal of Functional Programming 26, e2, 2016
On irrelevance and algorithmic equality in predicative type theory
A Abel, G Scherer
Logical methods in computer science 8, 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
Normalization by evaluation: Dependent types and impredicativity
A Abel
Habilitation. Ludwig-Maximilians-Universität München, 2013
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
Higher-order dynamic pattern unification for dependent types and records
A Abel, B Pientka
Typed Lambda Calculi and Applications: 10th International Conference, TLCA …, 2011
Semi-continuous sized types and termination
A Abel
Logical methods in computer science 4, 2008
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic
A Abel, BYE Chang, F Pfenning
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
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
The system can't perform the operation now. Try again later.
Articles 1–20