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

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

Normalization by Evaluation for Sized Dependent Types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
23nd International Conference on Types for Proofs and Programs (TYPES 2017), Budapest, Hungary, 29 May - 1 June 2017, Conference contribution 2017
Conference contribution

Interactive programming in Agda - Objects and graphical user interfaces
Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming, Journal article 2017
Journal article

Sprinkles of Extensionality for Your Vanilla Type Theory
Andreas Abel, Jesper Cockx
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

Compositional coinduction with sized types
Andreas Abel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Conference paper 2016
Conference paper

Normalization by Evaluation in the Delay Monad
Andreas Abel, James Chapman
22nd International Conference on Types for Proofs and Programs, Conference contribution 2016
Conference contribution

Showing 11 - 20 of 31

2016

On Decidability of Conversion in Type Theory
Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

An Extension of Martin-Löf Type Theory with Sized Types
Andreas Abel, Theo Winterhalter
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

Well-founded recursion with copatterns and sized types
Andreas Abel, B. Pientka
Journal of Functional Programming, Journal article 2016
Journal article

2015

Well-founded recursion over contextual objects
Brigitte Pientka, Andreas Abel
Leibniz International Proceedings in Informatics, LIPIcs, Conference paper 2015
Conference paper

2014

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Andreas Abel, James Chapman
Electronic Proceedings in Theoretical Computer Science, EPTCS, Conference paper 2014
Conference paper

Unnesting of copatterns
A. Setzer, Andreas Abel, B. Pientka, D. Thibodeau
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Chapter in book 2014
Chapter in book

A formalized proof of strong normalization for guarded recursive types
Andreas Abel, Andrea Vezzosi
Lecture Notes in Computer Science: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014 Singapore, 17-19 November 2014, Conference paper 2014
Conference paper

2013

Copatterns: Programming infinite structures by observations
Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
ACM SIGPLAN Notices, Conference paper 2013
Conference paper

Wellfounded recursion with copatterns: a unified approach to termination and productivity
Andreas Abel, Brigitte Pientka
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, Conference paper 2013
Conference paper

2011

A modular type-checking algorithm for type theory with singleton types
Miguel Pagano, Andreas Abel, Thierry Coquand
Logical Methods in Computer Science, Journal article 2011
Journal article

Showing 11 - 20 of 31

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?

Denna text är utskriven från följande webbsida:
http://www.gu.se/english/about_the_university/staff/?publicationPageNumber=2&selectedTab=2&languageId=100001&userId=xabean&userName=Andreas+Abel
Utskriftsdatum: 2019-11-22