Citation:Nada Amin. 2016. “Dependent Object Types.” LAMP, EPFL. Thesis Type: PhD thesis. Publisher's VersionDownload CitationBibTex Tagged XML Notes:(code)Last updated on 08/28/2019