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

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




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

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

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 31 - 34 av 34

2005

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

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

2004

Termination checking with types
Andreas Abel
RAIRO - Theoretical Informatics and Applications , Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

Fixed Points of Type Constructors and Primitive Recursion
Andreas Abel, Ralph Matthes
Lecture Notes in Computer Science, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

Visar 31 - 34 av 34

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?

Denna text är utskriven från följande webbsida:
http://gu.se/omuniversitetet/personal/?tipFriend=true&tipUrl=http%3A%2F%2Fgu.se%2Fomuniversitetet%2Fpersonal%2F%3FpublicationPageNumber%3D4%26selectedTab%3D2%26feedbackForm%3Dtrue%26returnAddress%3Dhttp%253A%252F%252Fgu.se%252Fomuniversitetet%252Fpersonal%252F%253FtipFriend%253Dtrue%2526tipUrl%253Dhttp%25253A%25252F%25252Fgu.se%25252Fomuniversitetet%25252Fpersonal%25252F%25253FuserId%25253Dxabean%2526userId%253Dxabean%26recipientName%3DV%25E4xeln%26encodedEmail%3DdmF4ZWxuLWFuZHJpbmdhckBndS5zZQ%26tipFriend%3Dtrue%26tipUrl%3Dhttp%253A%252F%252Fgu.se%252Fomuniversitetet%252Fpersonal%252F%253FuserId%253Dxabean%26userId%3Dxabean&publicationPageNumber=4&selectedTab=2&feedbackForm=true&encodedEmail=dmF4ZWxuLWFuZHJpbmdhckBndS5zZQ&userId=xabean
Utskriftsdatum: 2020-05-28