Wenhao Tang

I am a PhD student at the University of Edinburgh, supervised by Sam Lindley. I was an undergraduate student at Peking University, supervised by Zhenjiang Hu.

I work on programming languages.

I like types and effects.

Education

Ph.D. Student in Informatics, Oct 2022 - Present, The University of Edinburgh
B.S. in Computer Science (summa cum laude), Sept 2018 - July 2022, Peking University

PhD thesis draft
Modal Effect Types
Wenhao Tang Sept 2026 [draft]
Draft
Bidirectional Typing with Freezing, Skeletons, and Ghosts
Wenhao Tang, Shengyi Jiang, Aghilas Y. Boussaa, Sam Lindley, Bruno C. d. S. Oliveira July 2026 [arXiv]
POPL'26
Rows and Capabilities as Modal Effects
Wenhao Tang, Sam Lindley Jan 2026 [doi] [arXiv]
OOPSLA'25
Modal Effect Types
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen Apr 2025 [doi] [arXiv] [artifact]
JFP
From High to Low: Simulating Nondeterminism and State with State
Wenhao Tang, Tom Schrijvers Volume 34, e16, 2025 (special issue on program calculation) [doi] [arXiv]
LMCS
A Calculus for Scoped Effects & Handlers
Roger Bosman*, Birthe van den Berg*, Wenhao Tang*, Tom Schrijvers (*equal contributions) Volume 20, Issue 4, 2024 [doi] [arXiv] [artifact] [demo]
POPL'24
Soundly Handling Linearity
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris Jan 2024 [doi] [arXiv] [artifact] [SIGPLAN blog post]
ACM SIGPLAN Distinguished Paper Award
OOPSLA'23
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley Oct 2023 [doi] [arXiv]
JFP
Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu Volume 33, e10, 2023 [doi]

Modal Effect Types
Seminar, ETH Zurich, Zurich, Switzerland, Sept 2026
Seminar, University of Southern Denmark, Odense, Denmark, Sept 2026
Ergonomic and Expressive Effect Types
Seminar, The University of Hong Kong, Hong Kong, China, April 2026
Rows and Capabilities as Modal Effects
POPL 2026, Rennes, France, Jan 2026 [slides]
HOPE 2025, Singapore, Oct 2025 [slides]
Freezing Bidirectional Typing
ML Family Workshop 2025, Singapore, Oct 2025 [slides]
Modal Effect Types
OOPSLA 2025, Singapore, Oct 2025 [slides]
EHOP Workshop 2025, Scotland, UK, Aug 2025 [slides]
Effects, Linearity, and Modalities
Seminar, Peking University, Beijing, China, Aug 2024 [slides]
Seminar, Shanghai Jiao Tong University, Shanghai, China, Aug 2024 [slides]
Soundly Handling Linearity
TUPLE 2024, The University of Edinburgh, Scotland, UK, Feb 2024 [slides]
POPL 2024, London, England, UK, Jan 2024 [slides]
Seminar, University of Bristol, England, UK, Oct 2023 [slides]
EHOP Workshop 2023, Scotland, UK, July 2023 [slides]
Structural Subtyping as Parametric Polymorphism
OOPSLA 2023, Cascais, Portugal, Oct 2023 [slides]

TA, Elements of Programming Languages, The University of Edinburgh, Autumn 2024.
TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Autumn 2023.
TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Autumn 2022.
TA, Introduction to Computer Systems, Peking University, Autumn 2020.