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 × Italy
1 × Poland
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
R.E.Møgelberg J.Egger M.H.Escardó M.Mio J.Brotherston N.F.W.Voorneveld A.Lopez P.Johann J.Voigtländer
Talks about:
effect (7) algebra (3) linear (3) type (3) calculus (2) enrich (2) comput (2) oper (2) probabilist (1) nondetermin (1)

Person: Alex Simpson

DBLP DBLP: Simpson:Alex

Contributed to:

RTA-TLCA 20142014
FOSSACS 20132013
FOSSACS 20102010
LICS 20102010
CSL 20092009
POPL 20092009
LICS 20072007
ESOP 20182018
CSL 20182018

Wrote 10 papers:

RTA-TLCA-2014-EscardoS #data type #type system
Abstract Datatypes for Real Numbers in Type Theory (MHE, AS), pp. 208–223.
FoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification
A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
FoSSaCS-2010-EggerMS #calculus #continuation
Linearly-Used Continuations in the Enriched Effect Calculus (JE, REM, AS), pp. 18–32.
LICS-2010-JohannSV #algebra
A Generic Operational Metatheory for Algebraic Effects (PJ, AS, JV), pp. 209–218.
CSL-2009-EggerMS #calculus #linear
Enriching an Effect Calculus with Linear Types (JE, REM, AS), pp. 240–254.
POPL-2009-Simpson #linear
Linear types for computational effects (AS), p. 301.
LICS-2007-BrotherstonS #calculus #induction #infinity
Complete Sequent Calculi for Induction and Infinite Descent (JB, AS), pp. 51–62.
LICS-2007-MogelbergS #parametricity #relational
Relational Parametricity for Computational Effects (REM, AS), pp. 346–355.
ESOP-2018-SimpsonV #algebra #behaviour #equivalence
Behavioural Equivalence via Modalities for Algebraic Effects (AS, NFWV), pp. 300–326.
CSL-2018-LopezS #algebra #nondeterminism #probability
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (AL, AS), p. 17.

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.