Registered user since Fri 5 May 2017
Name:Shu-Hung You
Country:Taiwan
Affiliation:Institute of Information Science, Academia Sinica, Taiwan
Personal website: https://shhyou.github.io/
Research interests:Contracts
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile