Showing results 15 to 18 of 18
< previous
| Title | Author(s) | Issue Date | Views | |
|---|---|---|---|---|
Quantified class constraints Proceeding/Conference:Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell | 2017 | 10 | ||
Resolution as intersection subtyping via Modus Ponens Journal:Proceedings of the ACM on Programming Languages | 2020 | 13 | ||
Row and Bounded Polymorphism via Disjoint Polymorphism Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | 12 | ||
The Essence of Nested Composition Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | 7 |