Coherence of Type Class Resolution
Proceedings of the ACM on Programming Languages
doi 10.1145/3341695
Full Text
Open PDFAbstract
Available in full text
Date
July 26, 2019
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
July 26, 2019
Association for Computing Machinery (ACM)