Registered user since Tue 10 Dec 2019
Name:Yu-Yang Lin
Affiliation:Trinity College Dublin
Contributions
ML 2021 | Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile