To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Andreas Martin Abel - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Andreas Martin Abel

Senior lecturer

Andreas Martin Abel
Senior lecturer
abela@chalmers.se
+46 31-772 1731

Visiting Address: Rännvägen 6b , Göteborg


Computer Science (CS) at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
0317721000
Visiting Address: Rännvägen 6B , 412 58 Göteborg

Latest publications

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Journal article 2020
Journal article

Leibniz equality is isomorphic to Martin-Lof identity, parametrically
Andreas Abel, J. Cockx, D. Devriese, A. Timany, P. Wadler
Journal of Functional Programming, Journal article 2020
Journal article

A Type Theory for Defining Logics and Proofs
B. Pientka, D. Thibodeau, Andreas Abel, F. Ferreira, R. Zucchini et al.
2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), IEEE, Chapter in book 2019
Chapter in book

POPLMark reloaded: Mechanizing proofs by logical relations
Andreas Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano et al.
Journal of Functional Programming, Journal article 2019
Journal article

23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary.
Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Edited book 2018
Edited book

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Conference contribution 2018
Conference contribution

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Journal article 2018
Journal article

Normalization by evaluation for sized dependent types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL, Journal article 2017
Journal article

Showing 31 - 36 of 36

2005

Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
Thierry Coquand, Andreas Abel
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461) , Conference paper 2005
Conference paper

Iteration and coiteration schemes for higher-order and nested datatypes
Andreas Abel, R. Matthes, T. Uustalu
Theoretical Computer Science, Journal article 2005
Journal article

Verifying Haskell Programs Using Constructive Type Theory
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, Conference paper 2005
Conference paper

2004

Termination checking with types
Andreas Abel
RAIRO - Theoretical Informatics and Applications , Journal article 2004
Journal article

Fixed Points of Type Constructors and Primitive Recursion
Andreas Abel, Ralph Matthes
Lecture Notes in Computer Science, Journal article 2004
Journal article

Showing 31 - 36 of 36

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?