LIPIcs, Volume 269
TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France
Editors: Delia Kesner and Pierre-Marie Pédrot
LIPIcs, Volume 239
TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)
Editors: Henning Basold, Jesper Cockx, and Silvia Ghilezan
LIPIcs, Volume 188
TYPES 2020, March 2-5, 2020, University of Turin, Italy
Editors: Ugo de'Liguoro, Stefano Berardi, and Thorsten Altenkirch
LIPIcs, Volume 175
TYPES 2019, June 11-14, 2019, Oslo, Norway
Editors: Marc Bezem and Assia Mahboubi
LIPIcs, Volume 130
TYPES 2018, June 18-21, 2018, Braga, Portugal
Editors: Peter Dybjer, José Espírito Santo, and Luís Pinto
LIPIcs, Volume 104
TYPES 2017, May 29 to June 1, 2017, Budapest, Hungary
Editors: Andreas Abel, Fredrik Nordvall Forsberg, and Ambrus Kaposi
LIPIcs, Volume 97
TYPES 2016, May 23-26, 2016, Novi Sad, Serbia
Editors: Silvia Ghilezan, Herman Geuvers, and Jelena Ivetic
LIPIcs, Volume 69
TYPES 2015, May 18-21, 2015, Tallinn, Estonia
Editors: Tarmo Uustalu
LIPIcs, Volume 39
TYPES 2014, May 12-15, 2014, Paris, France
Editors: Hugo Herbelin, Pierre Letouzey, and Matthieu Sozeau
LIPIcs, Volume 26
TYPES 2013, April 22-26, 2013, Toulouse, France
Editors: Ralph Matthes and Aleksy Schubert
LIPIcs, Volume 19
TYPES 2011, September 8-11, 2011, Bergen, Norway
Editors: Nils Anders Danielsson and Bengt Nordström
Feedback for Dagstuhl Publishing