Samson Main -

Registered user since Wed 10 Dec 2025

Name:Samson Main

Country:United Kingdom

Affiliation:University of Bristol

Personal website: https://mains03.github.io/

Contributions

2026

POPL

Author of Domain-Theoretic Semantics for Functional Logic Programming within the POPL-track