Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stelios Tsampas
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Not registered as user
Name:
Stelios Tsampas
Country:
Denmark
Affiliation:
University of Southern Denmark
Contributions
2025
ICFP
Author of Big Steps in Higher-Order Mathematical Operational Semantics within the ICFP Papers-track
Author of CRDT Emulation, Simulation, and Representation Independence within the ICFP Papers-track
Author of Bialgebraic Reasoning on Stateful Languages within the ICFP Papers-track
Share
x
Tue 9 Sep 15:25