Browsing by Author Bi, X

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 21 to 22 of 22 < previous 
TitleAuthor(s)Issue DateViews
 
Typed First-Class Traits
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
Bi, XDos Santos Oliveira, BC
2018
7
 
Unified Syntax with Iso-types
Proceeding/Conference:Proceedings of the 14th Asian Symposium on Programming Languages and Systems (APLAS) 2016
Yang, YBi, XDos Santos Oliveira, BC
2016
7
Showing results 21 to 22 of 22 < previous