Browsing by Author Xie, N

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 11 of 11
TitleAuthor(s)Issue DateViews
 
2022
7
 
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
8
 
Distributive Disjoint Polymorphism for Compositional Programming
Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems
2019
10
 
2012
 
Kind inference for datatypes
Journal:Proceedings of the ACM on Programming Languages
2020
9
 
Let Arguments Go First
Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
2018
6
 
Row and Bounded Polymorphism via Disjoint Polymorphism
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
12
 
2016
131
 
2012
66
 
Union Types with Disjoint Switches
Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022)
2022