Jaemin Hong, Jihyeok Park, Sukyoung Ryu. Path dependent types with path-equality. In Sebastian Erdweg, Bruno C. D. S. Oliveira, editors, Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018. pages 35-39, ACM, 2018. [doi]
@inproceedings{HongPR18,
title = {Path dependent types with path-equality},
author = {Jaemin Hong and Jihyeok Park and Sukyoung Ryu},
year = {2018},
doi = {10.1145/3241653.3241657},
url = {https://doi.org/10.1145/3241653.3241657},
researchr = {https://researchr.org/publication/HongPR18},
cites = {0},
citedby = {0},
pages = {35-39},
booktitle = {Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
editor = {Sebastian Erdweg and Bruno C. D. S. Oliveira},
publisher = {ACM},
}