Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stelios Tsampas
conf.researchr.org general profile
POPL 2022 profile
POPL 2023 profile
POPL 2025 profile
Registered user since Thu 15 Sep 2022
Name:
Stelios Tsampas
Affiliation:
FAU Erlangen-Nuremberg, INF 8
Contributions
2025
POPL
Author of Abstract Operational Methods for Call-by-Push-Value within the POPL-track
2023
POPL
Author of Towards a Higher-Order Mathematical Operational Semantics within the POPL-track
PriSC
Committee Member in Program Committee within the PriSC 2023-track
2022
PriSC
Author of The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly within the PriSC 2022-track
Share
x
Thu 14 Nov 17:14