Travelled to:1 × Austria
1 × Cyprus
1 × India
1 × Japan
1 × Poland
1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:∅ M.P.Fiore P.B.Levy S.Uijlen G.Winskel O.Kammar M.Vákár R.Atkey N.Ghani F.N.Forsberg T.Revell A.Scibior H.Yang Y.Cai K.Ostermann Sean K. Moss C.Heunen Z.Ghahramani
Talks about:algebra (6) program (4) effect (4) structur (3) semant (3) probabilist (2) languag (2) theori (2) logic (2) local (2)
Person: Sam Staton
DBLP: Staton:Sam
Contributed to:
2015
2015
2015
2014
2013201320132010201020082006
201720182019Wrote 15 papers:
- ICALP-v2-2015-StatonU #algebra
- Effect Algebras, Presheaves, Non-locality and Contextuality (SS, SU), pp. 401–413.
- POPL-2015-Staton #algebra #programming language #quantum
- Algebraic Effects, Linearity, and Quantum Programming Languages (SS), pp. 395–406.
- TLCA-2015-AtkeyGFRS #modelling #morphism #physics #polymorphism
- Models for Polymorphism over Physical Dimension (RA, NG, FNF, TR, SS), pp. 45–59.
- LICS-CSL-2014-FioreS #algebra
- Substitution, jumps, and algebraic effects (MPF, SS), p. 10.
- LICS-CSL-2014-LevyS #game studies
- Transition systems over games (PBL, SS), p. 10.
- FoSSaCS-2013-Staton #algebra #logic
- An Algebraic Presentation of Predicate Logic — (SS), pp. 401–417.
- LICS-2013-Staton #algebra #perspective
- Instances of Computational Effects: An Algebraic Perspective (SS), p. 519.
- POPL-2013-StatonL #programming language
- Universal properties of impure programming languages (SS, PBL), pp. 179–192.
- FoSSaCS-2010-Staton #algebra
- Completeness for Algebraic Theories of Local State (SS), pp. 48–63.
- LICS-2010-StatonW #on the #symmetry
- On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
- LICS-2008-Staton #category theory #logic #semantics
- General Structural Operational Semantics through Categorical Logic (SS), pp. 166–177.
- LICS-2006-FioreS #calculus #congruence #process #semantics
- A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (MPF, SS), pp. 49–58.
- ESOP-2017-Staton #commutative #probability #programming #semantics
- Commutative Semantics for Probabilistic Programming (SS), pp. 855–879.
- POPL-2018-ScibiorKVSYCOMH #higher-order #validation
- Denotational validation of higher-order Bayesian inference (AS, OK, MV, SS, HY, YC, KO, SKM, CH, ZG), p. 29.
- POPL-2019-VakarKS #probability #programming #statistics
- A domain theory for statistical probabilistic programming (MV, OK, SS), p. 29.