Skip Ribbon Commands

Skip to main content

Start

Staff

Andreas Abel

Senior Lecturer, Logic and Types division, Department of Computer Science and Engineering.

andreas.abel@cse.gu.se +46317721731 Find me http://orcid.org/0000-0003-0420-4492

Link to personal page

Publications

Latest publications

2020
Elaborating dependent (co)pattern matching: No pattern left behind

Author: Jesper Cockx; Andreas Abel

Published: 2020

Published in: Journal of Functional Programming

Publication type: Journal article
2019
Normalization by evaluation for call-by-push-value and polarized lambda calculus

Author: Andreas Abel; Christian Sattler

Published: 2019

Published in: ACM International Conference Proceeding Series

Publication type: Paper in proceeding
2018
Decidability of Conversion for Type Theory in Type Theory

Author: Andrea Vezzosi; Joakim Öhman; Andreas Abel

Published: 2018

Published in: Proceedings of the ACM on Programming Languages

Publication type: Journal article
2017
Normalization by evaluation for sized dependent types

Author: Andreas Abel; Andrea Vezzosi; Theo Winterhalter

Published: 2017

Published in: Proceedings of the ACM on Programming Languages

Publication type: Paper in proceeding
2016
Well-founded recursion with copatterns and sized types

Author: Andreas Abel; B. Pientka

Published: 2016

Published in: Journal of Functional Programming

Publication type: Journal article
2014
Unnesting of copatterns

Author: A. Setzer; Andreas Abel; B. Pientka; D. Thibodeau

Published: 2014

Published in: Lecture Notes Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Book chapter
A formalized proof of strong normalization for guarded recursive types

Author: Andreas Abel; Andrea Vezzosi

Published: 2014

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2013
Wellfounded recursion with copatterns: a unified approach to termination and productivity

Author: Andreas Abel; Brigitte Pientka

Published: 2013

Published in: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Publication type: Paper in proceeding
2008
Verifying a semantic βη-conversion test for martin-löf type theory

Author: Andreas Abel; Thierry Coquand; Peter Dybjer

Published: 2008

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory

Author: Andreas Abel; Thierry Coquand; Peter Dybjer

Published: 2008

Published in: FLOPS 2008

Publication type: Paper in proceeding
2007
Untyped algorithmic equality for Martin-Löf's logical framework with surjective pairs

Author: Andreas Abel; Thierry Coquand

Published: 2007

Published in: Fundamenta Informaticae

Publication type: Journal article
Normalization by Evaluation for Martin-Löf Type Theory with Equality Judgements

Author: Andreas Abel; Thierry Coquand; Peter Dybjer

Published: 2007

Published in: Proceedings of 22nd IEEE Annual Symposium on Logic in ComputerScience, Wroclaw, Poland, July 2007.

Publication type: Journal article
Normalization by evaluation for Martin-Löf type theory with one universe

Author: Andreas Abel; Klaus Aehlig; Peter Dybjer

Published: 2007

Published in: Mathematical Foundations of Programming Semantics, New Orleans, LA, USA, April 2007. Ed. M. Fiore. Electronic Notes in Theoretical Computer Science, Elsevier.

Publication type: Paper in proceeding
2005
Verifying Haskell Programs Using Constructive Type Theory

Author: Andreas Abel; Marcin Benke; Ana Bove; John Hughes; Ulf Norell

Published: 2005

Published in: Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

Publication type: Paper in proceeding
Connecting a Logical Framework to a First-Order Logic Prover.

Author: Thierry Coquand; Andreas Abel; Ulf Norell

Published: 2005

Published in: FroCos 2005

Publication type: Paper in proceeding
Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.

Author: Thierry Coquand; Andreas Abel

Published: 2005

Published in: Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461)

Publication type: Paper in proceeding
Iteration and coiteration schemes for higher-order and nested datatypes

Author: Andreas Abel; R. Matthes; T. Uustalu

Published: 2005

Published in: Theoretical Computer Science

Publication type: Journal article
2004
Termination checking with types

Author: Andreas Abel

Published: 2004

Published in: RAIRO - Theoretical Informatics and Applications

Publication type: Journal article
Fixed Points of Type Constructors and Primitive Recursion

Author: Andreas Abel; Ralph Matthes

Published: 2004

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Journal article

Go to Chalmers publication library

Page manager Published: Fri 15 Jan 2021.