Session types in a linearly typed multi-threaded lambda-calculus H Xi, Z Ren, H Wu, W Blair arXiv preprint arXiv:1603.03727, 2016 | 9 | 2016 |
Dependent session types H Wu, H Xi arXiv preprint arXiv:1704.07004, 2017 | 8 | 2017 |
Multirole Logic H Xi, H Wu The Bulletin of Symbolic Logic 24 (2), 270, 2018 | 4 | 2018 |
Linearly typed dyadic group sessions for building multiparty sessions H Xi, H Wu arXiv preprint arXiv:1604.03020, 2016 | 4 | 2016 |
Propositions in linear multirole logic as multiparty session types H Xi, H Wu arXiv preprint arXiv:1611.08888, 2016 | 2 | 2016 |
Multirole Logic and Multiparty Channels H Xi, H Wu Recent Advances in Concurrency and Logic, 2017 | 1* | 2017 |
Session types in practical programming H Wu Boston University, 2019 | | 2019 |
Implementing Linking in Multiparty Sessions H Wu, H Xi arXiv preprint arXiv:1810.12146, 2018 | | 2018 |
Multiparty Dependent Session Types (Extended Abstract) H Wu, H Xi arXiv preprint arXiv:1808.00077, 2018 | | 2018 |
Multirole Logic (Extended Abstract) H Xi, H Wu arXiv preprint arXiv:1703.06391, 2017 | | 2017 |
Comparing and Integrating CVC4 and Alt-Ergo H Wu, W Feng | | 2013 |