© 2019

Programming Languages and Systems

28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

  • Luís Caires
Open Access
Conference proceedings
ESOP 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11423)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11423)

Table of contents

  1. Front Matter
    Pages i-xv
  2. Program Verification

    1. Front Matter
      Pages 1-1
    2. Glen Mével, Jacques-Henri Jourdan, François Pottier
      Pages 3-29 Open Access
    3. Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu et al.
      Pages 30-59 Open Access
    4. Dan Frumin, Léon Gondelman, Robbert Krebbers
      Pages 60-87 Open Access
    5. Ismail Kuru, Colin S. Gordon
      Pages 88-116 Open Access
  3. Language Design

    1. Front Matter
      Pages 117-117
    2. Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
      Pages 119-146 Open Access
    3. Li-yao Xia, Dominic Orchard, Meng Wang
      Pages 147-175 Open Access
    4. Pierre Boutillier, Ioana Cristescu, Jérôme Feret
      Pages 176-204 Open Access
    5. Ferdinand Vesely, Kathleen Fisher
      Pages 205-231 Open Access
  4. Program Semantics

    1. Front Matter
      Pages 233-233
    2. Dylan McDermott, Alan Mycroft
      Pages 235-262 Open Access
    3. Ugo Dal Lago, Francesco Gavazzo
      Pages 263-292 Open Access
    4. Samuele Buro, Isabella Mastroeni
      Pages 293-321 Open Access
    5. Simon Castellan, Hugo Paquet
      Pages 322-349 Open Access
  5. Types

    1. Front Matter
      Pages 351-351
    2. Taro Sekiyama, Atsushi Igarashi
      Pages 353-380 Open Access
    3. Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
      Pages 381-409 Open Access
    4. Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
      Pages 410-439 Open Access

About these proceedings


This book is Open Access under a CC BY licence.


computer science formal logic operational semantics program compilers programming languages software engineering software evaluation theory of computation type systems verification

Editors and affiliations

  1. 1.Universidade NOVA de LisboaCaparicaPortugal

Bibliographic information