Showing results 16 to 18 of 18
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
Resolution as intersection subtyping via Modus Ponens Journal:Proceedings of the ACM on Programming Languages | 2020 | ||
Row and Bounded Polymorphism via Disjoint Polymorphism Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
The Essence of Nested Composition Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 |