S. Fowler, S. Lindley, und P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), Volume 74 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)