Shu-Hung You -

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

2025

SPLASH

Author of Contract System Metatheories à la Carte: A Transition-System View of Contracts within the OOPSLA-track

2020

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

POPL

Author of A Calculus for Esterel: If can, can. If no can, no can. within the Research Papers-track

2017

ICFP

Author of Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) within the Research Papers-track