@conference {amin2014foundations,
	title = {Foundations of path-dependent types},
	booktitle = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications},
	year = {2014},
	note = {(code)},
	pages = {233{\textendash}249},
	publisher = {ACM},
	organization = {ACM},
	author = {Amin, Nada and Rompf, Tiark and Odersky, Martin}
}
