Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yu-Yang Lin
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2021 profile
POPL 2024 profile
Registered user since Tue 10 Dec 2019
Name:
Yu-Yang Lin
Affiliation:
Queen Mary University of London
Contributions
2024
GaLoP
Author of Fully Abstract Normal Form Bisimulation for Call-by-Value PCF within the GALOP 2024-track
2021
ML
Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track
2019
GaLoP
Author of A Framework for Compositional Model Checking within the GaLoP-track
Share
x
Fri 7 Nov 19:14