Nada Amin, Tiark Rompf, Martin Odersky. Foundations of path-dependent types. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 233-249, ACM, 2014. [doi]
@inproceedings{AminRO14,
title = {Foundations of path-dependent types},
author = { Nada Amin and Tiark Rompf and Martin Odersky},
year = {2014},
doi = {10.1145/2660193.2660216},
url = {http://doi.acm.org/10.1145/2660193.2660216},
researchr = {https://researchr.org/publication/AminRO14},
cites = {0},
citedby = {0},
pages = {233-249},
booktitle = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014},
editor = {Andrew P. Black and Todd D. Millstein},
publisher = {ACM},
isbn = {978-1-4503-2585-1},
}