
I am a second-year PhD student in LFCS at the University of Edinburgh, supervised by Sam Lindley. My research interest lies in programming languages, especially types (linear types, type inference) and effects (algebraic effects, higher-order effects, effect handlers, type-and-effect systems).
Previously, I was an undergraduate student majoring in Computer Science and a member of Turing Class at Peking University, where I worked with Zhenjiang Hu on program calculation and bidirectional programs. I was also a research intern in Tom Schrijvers' PL Group at KU Leuven working on algebraic and scoped effects in 2021.
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
Papers
-
From High to Low: Simulating Nondeterminism and State with State
Wenhao Tang, Tom Schrijvers
Submitted to Journal of Functional Programming (special issue on program calculation)
[arXiv] -
Soundly Handling Linearity
Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris
To appear at POPL 2024
[arXiv] [artifact] -
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
In OOPSLA 2023
[doi] [arXiv] -
A Calculus for Scoped Effects & Handlers
Roger Bosman*, Birthe van den Berg*, Wenhao Tang*, Tom Schrijvers (*equal contributions)
Submitted to Logical Methods in Computer Science
[arXiv] [artifact] [demo] -
Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
In Journal of Functional Programming 33:e10, 2023
[doi]
Talks
-
Structural Subtyping as Parametric Polymorphism
OOPSLA, Cascais, Portugal, Oct 2023 [slides] -
Soundly Handling Linearity
University of Bristol, England, UK, Oct 2023 [slides]
EHOP Workshop, The Burn, Scotland, UK, July 2023 [slides] -
Tracking Linear Continuations for Effect Handlers
Huawei Edinburgh Joint Lab Workshop, The University of Edinburgh, Scotland, UK, June 2023 [slides]
SPLS, Heriot-Watt University, Scotland, UK, March 2023 [slides]
Projects
-
λQ: A simple quantum programming language and compiler
Course project, Spring 2021 [report] [slides] -
SyGuS Solver: Solvers for Syntax-Guided Synthesis
Course project, Fall 2020 [slides] -
λM: A language with dependent types and termination checking
Course project, Spring 2020 [report] [slides]
Teaching
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Fall 2023.
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Fall 2022.
- TA, Introduction to Computer Systems, Peking University, Fall 2020.