Follow
Wenhao Tang
Wenhao Tang
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Soundly Handling Linearity
W Tang, D Hillerström, S Lindley, JG Morris
Proceedings of the ACM on Programming Languages 8 (POPL), 1600-1628, 2024
32024
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
22023
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–6