Prof. Sam Staton — Research Profile
University of Oxford · Department of Computer Science
About
Prof. Sam Staton at University of Oxford Department of Computer Science lists Programming Languages, Quantum as their registered research area.
Research keywords
Recent papers
- Compositional Information Geometry of Probabilistic ProgramsNewPreprintarXiv (Cornell University) · Oct 13
- Cambria: Resource Abstraction for Parametrized Algebraic Effects and HandlersPreprintarXiv (Cornell University) · Aug 28
- Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Sean Holden 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Imitation Learning for Connection-Tableau ConstructionNewPreprintarXiv (Cornell University) · Aug 26Shared topic: Logic, programming, and type systems
Iain Phillips 교수 연구실
Imperial College London · Department of Computing
Concurrency, Causality and Conflict via Independence in Reversible CalculiPreprintarXiv (Cornell University) · Sep 16Shared topic: Logic, programming, and type systems
Elaine Pimentel 교수 연구실
University College London · Department of Computer Science
A generalised and modular proof-theoretic semantics for sequent systemsNewPreprintarXiv (Cornell University) · Oct 16Shared topic: Advanced Algebra and Logic
Other labs in this department
- Aleks Kissinger 교수 연구실
Quantum Computing
- Alessandro Abate 교수 연구실
Automated Verification, Control
- Alex Rogers 교수 연구실
Systems
- Alfonso Bueno-Orovio 교수 연구실
Computational Biology, Health Informatics
- Ana Namburete 교수 연구실
Computational Biology, Health Informatics
- Andreas Galanis 교수 연구실
Algorithms and Complexity Theory