Showing results 2 to 3 of 3
Path dependent types with path-equality Hong, Jaemin; Park, Jihyeok; Ryu, Sukyoung, 9th ACM SIGPLAN International Symposium on Scala (Scala) as part of the ACM SIGPLAN International Conference on Functional Programming (ICFP), pp.35 - 39, ACM Press, 2018-09-28 |
Polymorphic symmetric multiple dispatch with variance Park, Gyunghee; Hong, Jaemin; Steele Jr., Guy L.; Ryu, Sukyoung, Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.1 - 28, Association for Computing Machinery (ACM), 2019-01-19 |
Discover