Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki. The Essence of Dependent Object Types. In Sam Lindley, Conor McBride, Philip W. Trinder, Donald Sannella, editors, A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Volume 9600 of Lecture Notes in Computer Science, pages 249-272, Springer, 2016. [doi]
Abstract is missing.