Path dependent types with path-equality.
Path dependent types with path-equality.
Jaemin Hong, Jihyeok Park, Sukyoung Ryu
01 February 2018
Venue : SCALA@ICFP
External Link: https://doi.org/10.1145/3241653.3241657
01 February 2018
Venue : SCALA@ICFP
External Link: https://doi.org/10.1145/3241653.3241657