Hoppa över menyflikskommandon

Hoppa till huvudinnehåll

Start

Personal

Andreas Abel

Lektor, avdelningen för Logik och typer, Institutionen för data- och informationteknik.

andreas.abel@cse.gu.se +46317721731 Hitta till mig http://orcid.org/0000-0003-0420-4492

Publikationer

Senaste publikationer

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

Författare: Jesper Cockx; Andreas Abel

Publiceringsår: 2020

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
2019
Normalization by evaluation for call-by-push-value and polarized lambda calculus

Författare: Andreas Abel; Christian Sattler

Publiceringsår: 2019

Publicerat i: ACM International Conference Proceeding Series

Publikationstyp: Paper i proceeding
2018
Decidability of Conversion for Type Theory in Type Theory

Författare: Andrea Vezzosi; Joakim Öhman; Andreas Abel

Publiceringsår: 2018

Publicerat i: Proceedings of the ACM on Programming Languages

Publikationstyp: Artikel i vetenskaplig tidskrift
2017
Normalization by evaluation for sized dependent types

Författare: Andreas Abel; Andrea Vezzosi; Theo Winterhalter

Publiceringsår: 2017

Publicerat i: Proceedings of the ACM on Programming Languages

Publikationstyp: Paper i proceeding
2016
Well-founded recursion with copatterns and sized types

Författare: Andreas Abel; B. Pientka

Publiceringsår: 2016

Publicerat i: Journal of Functional Programming

Publikationstyp: Artikel i vetenskaplig tidskrift
2014
Unnesting of copatterns

Författare: A. Setzer; Andreas Abel; B. Pientka; D. Thibodeau

Publiceringsår: 2014

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

Publikationstyp: Kapitel i bok
A formalized proof of strong normalization for guarded recursive types

Författare: Andreas Abel; Andrea Vezzosi

Publiceringsår: 2014

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

Publikationstyp: Paper i proceeding
2013
Wellfounded recursion with copatterns: a unified approach to termination and productivity

Författare: Andreas Abel; Brigitte Pientka

Publiceringsår: 2013

Publicerat i: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

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

Författare: Andreas Abel; Thierry Coquand; Peter Dybjer

Publiceringsår: 2008

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

Publikationstyp: Paper i proceeding
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory

Författare: Andreas Abel; Thierry Coquand; Peter Dybjer

Publiceringsår: 2008

Publicerat i: FLOPS 2008

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

Författare: Andreas Abel; Thierry Coquand

Publiceringsår: 2007

Publicerat i: Fundamenta Informaticae

Publikationstyp: Artikel i vetenskaplig tidskrift
Normalization by Evaluation for Martin-Löf Type Theory with Equality Judgements

Författare: Andreas Abel; Thierry Coquand; Peter Dybjer

Publiceringsår: 2007

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

Publikationstyp: Artikel i vetenskaplig tidskrift
Normalization by evaluation for Martin-Löf type theory with one universe

Författare: Andreas Abel; Klaus Aehlig; Peter Dybjer

Publiceringsår: 2007

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

Publikationstyp: Paper i proceeding
2005
Verifying Haskell Programs Using Constructive Type Theory

Författare: Andreas Abel; Marcin Benke; Ana Bove; John Hughes; Ulf Norell

Publiceringsår: 2005

Publicerat i: Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

Publikationstyp: Paper i proceeding
Connecting a Logical Framework to a First-Order Logic Prover.

Författare: Thierry Coquand; Andreas Abel; Ulf Norell

Publiceringsår: 2005

Publicerat i: FroCos 2005

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

Författare: Thierry Coquand; Andreas Abel

Publiceringsår: 2005

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

Publikationstyp: Paper i proceeding
Iteration and coiteration schemes for higher-order and nested datatypes

Författare: Andreas Abel; R. Matthes; T. Uustalu

Publiceringsår: 2005

Publicerat i: Theoretical Computer Science

Publikationstyp: Artikel i vetenskaplig tidskrift
2004
Termination checking with types

Författare: Andreas Abel

Publiceringsår: 2004

Publicerat i: RAIRO - Theoretical Informatics and Applications

Publikationstyp: Artikel i vetenskaplig tidskrift
Fixed Points of Type Constructors and Primitive Recursion

Författare: Andreas Abel; Ralph Matthes

Publiceringsår: 2004

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

Publikationstyp: Artikel i vetenskaplig tidskrift

Gå till Chalmers publikationsbibliotek

Publicerad: to 02 jan 2020.