Skip to main content
  • Conference proceedings
  • Open Access
  • © 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

Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 11423)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2019.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (28 papers)

  1. Front Matter

    Pages i-xv
  2. Program Verification

    1. Front Matter

      Pages 1-1
    2. Time Credits and Time Receipts in Iris

      • Glen Mével, Jacques-Henri Jourdan, François Pottier
      Pages 3-29Open Access
    3. Meta-F \(^\star \) : Proof Automation with SMT, Tactics, and Metaprograms

      • Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu et al.
      Pages 30-59Open Access
    4. Semi-automated Reasoning About Non-determinism in C Expressions

      • Dan Frumin, Léon Gondelman, Robbert Krebbers
      Pages 60-87Open Access
    5. Safe Deferred Memory Reclamation with Types

      • Ismail Kuru, Colin S. Gordon
      Pages 88-116Open Access
  3. Language Design

    1. Front Matter

      Pages 117-117
    2. Codata in Action

      • Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
      Pages 119-146Open Access
    3. Composing Bidirectional Programs Monadically

      • Li-yao Xia, Dominic Orchard, Meng Wang
      Pages 147-175Open Access
    4. Counters in Kappa: Semantics, Simulation, and Static Analysis

      • Pierre Boutillier, Ioana Cristescu, Jérôme Feret
      Pages 176-204Open Access
    5. One Step at a Time

      • Ferdinand Vesely, Kathleen Fisher
      Pages 205-231Open Access
  4. Program Semantics

    1. Front Matter

      Pages 233-233
    2. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order

      • Dylan McDermott, Alan Mycroft
      Pages 235-262Open Access
    3. Effectful Normal Form Bisimulation

      • Ugo Dal Lago, Francesco Gavazzo
      Pages 263-292Open Access
    4. On the Multi-Language Construction

      • Samuele Buro, Isabella Mastroeni
      Pages 293-321Open Access
    5. Probabilistic Programming Inference via Intensional Semantics

      • Simon Castellan, Hugo Paquet
      Pages 322-349Open Access
  5. Types

    1. Front Matter

      Pages 351-351
    2. Handling Polymorphic Algebraic Effects

      • Taro Sekiyama, Atsushi Igarashi
      Pages 353-380Open Access
    3. Distributive Disjoint Polymorphism for Compositional Programming

      • Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
      Pages 381-409Open Access
    4. Types by Need

      • Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
      Pages 410-439Open Access

Other Volumes

  1. Programming Languages and Systems

About this book

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.


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

Editors and Affiliations

  • Universidade NOVA de Lisboa, Caparica, Portugal

    Luís Caires

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)