Published: 2nd April 2019|
|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|
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.