Browsing "Department of Computer Science" by Author zhao, j

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 15 of 15
TitleAuthor(s)Issue DateViews
 
A mechanical formalization of higher-ranked polymorphic type inference
Journal:Proceedings of the ACM on Programming Languages
2019
2013
64
 
2016
64
 
Characterizing Locality-aware P2P Streaming
Journal:Journal of Communications
2012
 
Contrastive Meta Learning with Behavior Multiplicity for Recommendation
Proceeding/Conference:Proceedings of the Fifteenth ACM International Conference on Web Search and Data Mining
2022
2014
63
 
Elementary Type Inference
Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022)
2022
Formalization of a Polymorphic Subtyping Algorithm
Proceeding/Conference:Proceedings of the 9th International Conference on Interactive Theorem Proving (ITP 2018)
2018
7
 
2015
89
 
Hypergraph Contrastive Collaborative Filtering
Proceeding/Conference:Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval
2022
 
Locality-aware Streaming in Hybrid P2P-Cloud CDN Systems
Journal:Peer-to-Peer Networking and Applications
2015
 
Revisiting iso-recursive subtyping
Journal:Proceedings of the ACM on Programming Languages
2020
12
 
Revisiting Iso-Recursive Subtyping
Journal:ACM Transactions on Programming Languages and Systems
2022
Socially-optimal ISP-aware P2P Content Distribution via a Primal-Dual Approach
Proceeding/Conference:International Conference on Distributed Computing Systems Workshops Proceedings
2014
61
 
Taming the Merge Operator
Journal:Journal of Functional Programming (JFP)
2021