Rebecca Shapiro: Types for the Chain of Trust: No (Loader) Write Left Behind. Dartmouth College, USA 2018