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

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

Normalization by evaluation for sized dependent types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 36

2020

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

2019

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

2018

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

2017

Normalization by evaluation for sized dependent types
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 36

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?