1. Nada Amin , Samuel Grütter , Martin Odersky , Tiark Rompf , and Sandro Stucki . 2016. The essence of dependent object types. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday ( 2016 ), 249-272 . Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, and Sandro Stucki. 2016. The essence of dependent object types. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday ( 2016 ), 249-272.
2. Engineering formal metatheory
3. Origins of the D programming language
4. An extension of system F with subtyping
5. Werner Dietl , Sophia Drossopoulou , and Peter Müller . 2007 . Generic Universe Types. In ECOOP 2007-Object-Oriented Programming, Erik Ernst (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 28 - 53 . Werner Dietl, Sophia Drossopoulou, and Peter Müller. 2007. Generic Universe Types. In ECOOP 2007-Object-Oriented Programming, Erik Ernst (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 28-53.