Showing results 1 to 7 of 7
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 | ||
Distributive Disjoint Polymorphism for Compositional Programming Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems | 2019 | ||
Kind inference for datatypes Journal:Proceedings of the ACM on Programming Languages | 2020 | ||
Let Arguments Go First Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems | 2018 | ||
Row and Bounded Polymorphism via Disjoint Polymorphism Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
Union Types with Disjoint Switches Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 |