Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Thomas Wies

Registered user since Fri 10 Apr 2015

Name:Thomas Wies
Affiliation:New York University, USA
Personal website:http://cs.nyu.edu/wies/

Contributions

POPL 2021 Data Flow Refinement Type Inference
Show activities from other conferences

POPL 2021-profile
View general profile