1. Compiler and runtime support for continuation marks;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
2. A theory of RPC calculi for client–server model;Journal of Functional Programming;2019
3. A glimpse of Hopjs;ACM SIGPLAN Notices;2016-12-05
4. A glimpse of Hopjs;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
5. Ur/Web;ACM SIGPLAN Notices;2015-05-11