Ein kompakter Sammelband aus dem 26. ESOP 2017, der neueste Theorien zu Programmiersprachen, Typensystemen und verteilten Systemen präsentiert und zugleich praktische Fallstudien für Entwickler liefert.