19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France - Matthes, Ralph; Schubert, Aleksy (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2014)