Wenhao Tang -

Registered user since Fri 15 Sep 2023

Name:Wenhao Tang

Country:United Kingdom

Affiliation:The University of Edinburgh

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

Contributions

2025

ML

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