Wenhao Tang -

Registered user since Fri 4 Jun 2021

Name:Wenhao Tang

Country:United Kingdom

Affiliation:The University of Edinburgh

Personal website: https://thwfhk.github.io

Contributions

2027

ICFP

Web Chair in Organizing Committee

2026

HOPE

Author of Higher-order fork, modally within the HOPE 2026-track

POPL

Author of Rows and Capabilities as Modal Effects within the POPL-track

2025

ML Family Workshop

Author of Freezing Bidirectional Typing (Extended Abstract) within the ML Family Workshop 2025-track

SPLASH

Author of Modal Effect Types within the OOPSLA-track

HOPE

Author of Rows and Capabilities as Modal Effects (Extended Abstract) within the HOPE 2025-track

2024

ICFP

Author of Contract Lenses: Reasoning about Bidirectional Programs via Calculation within the JFP First Papers-track

POPL

2023

SPLASH

Author of Structural Subtyping as Parametric Polymorphism within the OOPSLA-track