This volume presents the revised, extended lecture notes of the 3COWS Winter School on Composability, Comprehensibility and Correctness of Working Software held in Kosice on January 22-26, 2018.
The 11 papers included in this volume were carefully reviewed and selected. The lectures cover the above topics, and also functional, imperative, and object-oriented approaches towards working software.
The 3COWS Winter School continued the long tradition of the Central European Functional Programming Schools (CEFP).