The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ † - Nada - Document - PDFSEARCH.IO

First Page	Meta Content
	The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ † Add to Reading List Document Date: 2016-04-05 07:54:34 Open Document File Size: 467,37 KB Share Result on Facebook

The Essence of Dependent Object Types? Nada Amin∗ , Samuel Grütter∗ , Martin Odersky∗ , Tiark Rompf † , and Sandro Stucki∗ ∗ †Add to Reading List