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 6 to 11 of 11 < previous 
TitleAuthor(s)Issue DateViews
 
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