Amin, N., Grütter, K. S., Odersky, M., Rompf, T., & Stucki, S. (2016). The Essence of Dependent Object Types. In S. Lindley, C. McBride, P. Trinder, & D. Sannella (Editors), A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. https://doi.org/10.1007/978-3-319-30936-1_14