Showing results 1 to 8 of 8
| Title | Author(s) | Issue Date | |
|---|---|---|---|
Consistent Subtyping for All Journal:ACM Transactions on Programming Languages and Systems | 2020 | ||
Consistent Subtyping for All Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems | 2018 | ||
Disjoint intersection types Proceeding/Conference:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2016 | ||
Distributive Disjoint Polymorphism for Compositional Programming Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems | 2019 | ||
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 | ||
Typed First-Class Traits Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2018 | ||
Unified Syntax with Iso-types Proceeding/Conference:Proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS) 2016 | 2016 |