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: Simpson:Alex
Contributed to:
2014
20132010
2010
2009
20092007
20182018Wrote 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.