BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Staton:Sam

Contributed to:

ICALP (2) 20152015
POPL 20152015
TLCA 20152015
CSL-LICS 20142014
FOSSACS 20132013
LICS 20132013
POPL 20132013
FOSSACS 20102010
LICS 20102010
LICS 20082008
LICS 20062006
ESOP 20172017
POPL 20182018
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.