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 9 of 9
TitleAuthor(s)Issue DateViews
 
Consistent Subtyping for All
Journal:ACM Transactions on Programming Languages and Systems
2020
8
 
Consistent Subtyping for All
Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
2018
4
 
Distributive Disjoint Polymorphism for Compositional Programming
Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems
2019
6
 
2012
64
 
Kind inference for datatypes
Journal:Proceedings of the ACM on Programming Languages
2020
6
 
Let Arguments Go First
Proceeding/Conference:Proceedings of the 27th European Symposium on Programming (ESOP 2018): Programming Languages and Systems
2018
4
 
Row and Bounded Polymorphism via Disjoint Polymorphism
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
7
 
2016
127
 
2012
69