Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tony Law
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Mon 22 Sep 2025
Name:
Tony Law
Affiliation:
Univ Rennes, Inria, CNRS, IRISA
Contributions
2025
SPLASH
Author of A Mechanized Semantics for Dataflow Circuits within the OOPSLA-track
Share
x
Mon 27 Oct 01:09