Quantified class constraints GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler ACM SIGPLAN Notices 52 (10), 148-161, 2017 | 38 | 2017 |
Coherence of type class resolution GJ Bottu, N Xie, K Marntirosian, T Schrijvers Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019 | 13 | 2019 |