This book
constitutes the proceedings of the 25th European Symposium on Programming, ESOP
2016, which took place in Eindhoven, The Netherlands, in April 2016, held as
Part of the European Joint Conferences on Theory and Practice of Software,
ETAPS 2016.

The 29 papers presented in this volume were carefully reviewed and selected
from 98 submissions. Being devoted to fundamental issues in the specification,
design, analysis, and implementation of programming languages and systems, ESOP
features contributions on all aspects of programming language research;
theoretical and/or practical advances.