Wenhao Tang -

Registered user since Fri 15 Sep 2023

Name:Wenhao Tang

Country:United Kingdom

Affiliation:University of Edinburgh

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

Contributions

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