Published: 2nd April 2019
DOI: 10.4204/EPTCS.291
ISSN: 2075-2180

EPTCS 291

Proceedings
Programming Language Approaches to Concurrency- and Communication-cEntric Software
Prague, Czech Republic, 7th April 2019

Edited by: Francisco Martins and Dominic Orchard

Preface
Francisco Martins and Dominic Orchard
Service Equivalence via Multiparty Session Type Isomorphisms
Assel Altayeva and Nobuko Yoshida
1
FreeST: Context-free Session Types in a Functional Language
Bernardo Almeida, Andreia Mordido and Vasco T. Vasconcelos
12
Concurrent Typestate-Oriented Programming in Java
Rosita Gerbo and Luca Padovani
24
Multiparty Session Type-safe Web Development with Static Linearity
Jonathan King, Nicholas Ng and Nobuko Yoshida
35
Value-Dependent Session Design in a Dependently Typed Language
Jan de Muijnck-Hughes, Edwin Brady and Wim Vanderbauwhede
47
A Message-Passing Interpretation of Adjoint Logic
Klaas Pruiksma and Frank Pfenning
60

Preface

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains papers from the 11th edition of PLACES: the Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, which was co-located with ETAPS 2019 in Prague, Czech Republic on April 7th 2019.

The PLACES workshop series is dedicated to programming language approaches to the problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for multi-core, large-scale distributed, and service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, new implementation mechanisms, and novel applications of existing approaches.

We thank the programme committee and external reviewers for their hard work and careful reviews.

Programme chairs

Programme Committee

Steering Committee