Path dependent types with path-equality

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]

Abstract

Abstract is missing.