Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Andreas Martin Abel - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Andreas Martin Abel

Universitetslektor

Andreas Martin Abel
Universitetslektor
Akademisk grad: Doktor,
abela@chalmers.se
0 31-772 1731

Besöksadress: Rännvägen 6b , Göteborg


Datavetenskap (CS) vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000
Besöksadress: Rännvägen 6B , 412 58 Göteborg

Senaste publikationer

FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY
Andreas Abel, Thierry Coquand
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

A Unified View of Modalities in Type Systems
Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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

Elaborating dependent (co)pattern matching: No pattern left behind
Jesper Cockx, Andreas Abel
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

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, Kapitel i bok 2019
Kapitel i bok

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

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, Samlingsverk 2018
Samlingsverk

Resourceful Dependent Types
Andreas Abel
24th International Conference on Types for Proofs and Programs (TYPES 2018), Braga, Portugal, 18-21 June 2018., Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Elaborating dependent (co)pattern matching
Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Decidability of conversion for type theory in type theory
Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Visar 21 - 30 av 37

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, Paper i proceeding 2014
Paper i proceeding

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, Kapitel i bok 2014
Kapitel i bok

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, Paper i proceeding 2014
Paper i proceeding

2013

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

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, Paper i proceeding 2013
Paper i proceeding

2011

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

2008

On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
Andreas Abel, Thierry Coquand, Peter Dybjer
FLOPS 2008, Paper i proceeding 2008
Paper i proceeding

Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory
Andreas Abel, Thierry Coquand, Peter Dybjer
Mathematics of Program Construction 2008, Paper i proceeding 2008
Paper i proceeding

2007

Normalization by evaluation for Martin-Löf type theory with one universe
Andreas Abel, Klaus Aehlig, Peter Dybjer
Mathematical Foundations of Programming Semantics, New Orleans, LA, USA, April 2007. Ed. M. Fiore. Electronic Notes in Theoretical Computer Science, Elsevier., Paper i proceeding 2007
Paper i proceeding

Untyped algorithmic equality for Martin-Löf's logical framework with surjective pairs
Andreas Abel, Thierry Coquand
Fundamenta Informaticae, Artikel i vetenskaplig tidskrift 2007
Artikel i vetenskaplig tidskrift

Visar 21 - 30 av 37

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?