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