Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ariadne Si Suo
conf.researchr.org general profile
POPL 2023 profile
POPL 2025 profile
Registered user since Sat 7 Jan 2023
Name:
Ariadne Si Suo
Affiliation:
University of Oxford
Contributions
2025
WITS
Author of Semantic Analysis of Normalisation for Directional Logic Programming within the WITS 2025-track
2023
LAFI
Author of Denotational semantics of languages for inference: semirings, monads, and tensors within the LAFI 2023-track
Share
x
Tue 8 Jul 17:02