Browsing "Department of Computer Science" by Author xie, ningning

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 1 of 1
TitleAuthor(s)Issue Date
 
Applicative Intersection Types
Proceeding/Conference:The 20th Asian Symposium on Programming Languages and Systems (05/12/2022-10/12/2022, Auckland)
Xue, XuDos Santos Oliveira, Bruno CesarXie, Ningning
25-Nov-2022
Showing results 1 to 1 of 1