21st International Conference on Types for Proofs and Programs TYPES 2015, May 18-21, 2015, Tallinn, Estonia - Uustalu, Tarmo (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018)