Soundly Handling Linearity W Tang, D Hillerström, S Lindley, JG Morris Proceedings of the ACM on Programming Languages 8 (POPL), 1600-1628, 2024 | 6 | 2024 |
Structural subtyping as parametric polymorphism W Tang, D Hillerström, J McKinna, M Steuwer, O Dardha, R Fu, S Lindley Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1093-1121, 2023 | 2 | 2023 |
Contract lenses: Reasoning about bidirectional programs via calculation H Zhang, W Tang, R Xie, M Wang, Z Hu Journal of Functional Programming 33, e10, 2023 | 2 | 2023 |
Modal Effect Types W Tang, L White, S Dolan, D Hillerström, S Lindley, A Lorenzen arXiv preprint arXiv:2407.11816, 2024 | | 2024 |
From High to Low: Simulating Nondeterminism and State with State W Tang, T Schrijvers arXiv preprint arXiv:2312.02054, 2023 | | 2023 |
A Calculus for Scoped Effects & Handlers R Bosman, B Berg, W Tang, T Schrijvers arXiv preprint arXiv:2304.09697, 2023 | | 2023 |
Session-Typed Effect Handlers W Tang | | |