91̽»¨

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson
Proceedings of the ACM on Programming Languages - 2023

Andrea Vezzosi, A. Mortberg, Andreas Abel
Journal of Functional Programming - 2021

Andreas Abel
Leibniz International Proceedings in Informatics, LIPIcs - 2021

Jesper Cockx, Andreas Abel
Journal of Functional Programming - 2020

Andreas Abel, J. Cockx, D. Devriese, A. Timany, P. Wadler
Journal of Functional Programming - 2020

Andreas Abel, Jean-Philippe Bernardy
Proceedings of the ACM on Programming Languages - 2020

Andreas Abel, Thierry Coquand
Logical Methods in Computer 91̽»¨ - 2020

Andreas Abel, Christian Sattler
ACM International Conference Proceeding Series - 2019

Andreas Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano, S. Schafer, K. Stark
Journal of Functional Programming - 2019

Andrea Vezzosi, Anders Mörtberg, Andreas Abel
Proceedings of the ACM on Programming Languages (PACMPL). Article no. 87 - 2019

Andreas Abel, C. Sattler
PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 - 2019

B. Pientka, D. Thibodeau, Andreas Abel, F. Ferreira, R. Zucchini, Ieee, Ieee,
2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) - 2019

Andreas Abel, Joakim Öhman, Andrea Vezzosi
Proceedings of the ACM on Programming Languages - 2018

Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi
2018

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

Andreas Abel, Jesper Cockx
Proceedings of the ACM on Programming Languages - 2018

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

Andreas Abel, S. Adelsberger, A. Setzer
Journal of Functional Programming - 2017

Andreas Abel, Andrea Vezzosi, Theo Winterhalter
PACMPL - 2017

Andreas Abel, B. Pientka
Journal of Functional Programming - 2016

Andreas Abel, Jesper Cockx
22nd International Conference on Types for Proofs and Programs (TYPES 2016) - 2016

Andreas Abel
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2016

Andreas Abel, James Chapman
22nd International Conference on Types for Proofs and Programs - 2016

Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016) - 2016

Andreas Abel, Theo Winterhalter
22nd International Conference on Types for Proofs and Programs (TYPES 2016) - 2016

Brigitte Pientka, Andreas Abel
Leibniz International Proceedings in Informatics, LIPIcs - 2015

Andreas Abel, James Chapman
Electronic Proceedings in Theoretical Computer 91̽»¨, EPTCS - 2014

A. Setzer, Andreas Abel, B. Pientka, D. Thibodeau
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2014

Andreas Abel, Andrea Vezzosi
Lecture Notes in Computer 91̽»¨: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014 Singapore, 17-19 November 2014 - 2014

Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
ACM SIGPLAN Notices - 2013

Andreas Abel, Brigitte Pientka
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP - 2013

Miguel Pagano, Andreas Abel, Thierry Coquand
Logical Methods in Computer 91̽»¨ - 2011

Andreas Abel, Thierry Coquand, Peter Dybjer
Mathematics of Program Construction 2008 - 2008

Andreas Abel, Thierry Coquand, Peter Dybjer
FLOPS 2008 - 2008

Andreas Abel, Thierry Coquand
Fundamenta Informaticae - 2007

Andreas Abel, Thierry Coquand, Peter Dybjer
Proceedings of 22nd IEEE Annual Symposium on Logic in Computer91̽»¨, Wroclaw, Poland, July 2007. - 2007

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 91̽»¨, Elsevier. - 2007

Andreas Abel, R. Matthes, T. Uustalu
Theoretical Computer 91̽»¨ - 2005

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell - 2005

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) - 2005

Thierry Coquand, Andreas Abel, Ulf Norell
FroCos 2005 - 2005

Andreas Abel, Ralph Matthes
Lecture Notes in Computer 91̽»¨ - 2004

Andreas Abel
RAIRO - Theoretical Informatics and Applications - 2004