Amin, Nada, Moors, Adriaan, Odersky, Martin. Dependent Object Types. 2012.
@inproceedings{Amin:183030,
title = {Dependent Object Types},
author = {Amin, Nada and Moors, Adriaan and Odersky, Martin},
year = {2012},
url = {http://infoscience.epfl.ch/record/183030},
researchr = {https://researchr.org/publication/Amin%3A183030},
cites = {0},
citedby = {0},
}