Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, and Sandro Stucki. 2016. “The Essence of Dependent Object Types.” In A List of Successes That Can Change the World, Pp. 249–272. Springer International Publishing.