Alex Simpson

47 papers A* 5A 1B 14Journal 19Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Safety, Relative Tightness and the Probabilistic Frame Rule.
MFPS
Janez Ignacij Jereb, Alex Simpson
2024 J jnl
An Imperative Language for Verified Exact Real-Number Computation.
CoRR
Andrej Bauer, Sewon Park, Alex Simpson
2024 A* conf
Equivalence and Conditional Independence in Atomic Sheaf Logic.
LICS
Alex Simpson
2024 J jnl
Equivalence and Conditional Independence in Atomic Sheaf Logic.
CoRR
Alex Simpson
2024 B ed.
Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, MFPS XL, Oxford, UK, June 17-21, 2024
MFPS
Valeria de Paiva, Alex Simpson
2022 B ed.
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Göttingen, Germany (Virtual Conference), February 14-19, 2022
CSL
Florin Manea, Alex Simpson
2020 J jnl
Behavioural Equivalence via Modalities for Algebraic Effects.
ACM Trans. Program. Lang. Syst.
Alex Simpson, Niels F. W. Voorneveld
2019 J jnl
Behavioural Equivalence via Modalities for Algebraic Effects.
CoRR
Alex Simpson, Niels F. W. Voorneveld
2019 B ed.
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
FoSSaCS
Mikolaj Bojanczyk, Alex Simpson
2018 B conf
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.
CSL
Aliaume Lopez, Alex Simpson
2018 A conf
Behavioural Equivalence via Modalities for Algebraic Effects.
ESOP
Alex Simpson, Niels F. W. Voorneveld
2018 B conf
Category-theoretic Structure for Independence and Conditional Independence.
MFPS
Alex Simpson
2018 J jnl
Google searches do not correlate with melanoma incidence in majority English speaking countries.
npj Digit. Medicine
Laura McDonald, Alex Simpson, Sophie Graham, Anna Schultze, Beth Nordstrom, Piyush Durani, Faisal Mehmud, Sreeram V. Ramagopalan
2017 B conf
Cyclic Arithmetic Is Equivalent to Peano Arithmetic.
FoSSaCS
Alex Simpson
2017 B conf
Probability Sheaves and the Giry Monad.
CALCO
Alex Simpson
2017 J jnl
Łukasiewicz μ-calculus.
Fundam. Informaticae
Matteo Mio, Alex Simpson
2016 B conf
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory.
FoSSaCS
Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
2014 — conf
Abstract Datatypes for Real Numbers in Type Theory.
RTA-TLCA
Martín Hötzel Escardó, Alex Simpson
2014 J jnl
Relating first-order set theories, toposes and categories of classes.
Ann. Pure Appl. Log.
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
2014 J jnl
The enriched effect calculus: syntax and semantics.
J. Log. Comput.
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2013 B conf
A Proof System for Compositional Verification of Probabilistic Concurrent Processes.
FoSSaCS
Matteo Mio, Alex Simpson
2013 — conf
Conditional Independence in Categories.
TACL
Alex Simpson
2013 — ed.
International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010
PSPL@LICS
Alex Simpson
2013 — conf
Łukasiewicz mu-Calculus.
FICS
Matteo Mio, Alex Simpson
2012 J jnl
Linear-use CPS translations in the Enriched Effect Calculus
Log. Methods Comput. Sci.
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2012 J jnl
Measure, randomness and sublocales.
Ann. Pure Appl. Log.
Alex Simpson
2011 J jnl
Sequent calculi for induction and infinite descent.
J. Log. Comput.
James Brotherston, Alex Simpson
2010 A* conf
A Generic Operational Metatheory for Algebraic Effects.
LICS
Patricia Johann, Alex Simpson, Janis Voigtländer
2010 B conf
Linearly-Used Continuations in the Enriched Effect Calculus.
FoSSaCS
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2009 B conf
Enriching an Effect Calculus with Linear Types.
CSL
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2009 A* conf
Linear types for computational effects.
POPL
Alex Simpson
2009 J jnl
Relational Parametricity for Computational Effects
Log. Methods Comput. Sci.
Rasmus Ejlers Møgelberg, Alex Simpson
2007 — conf
A Convenient Category of Domains.
Computation, Meaning, and Logic
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2007 — conf
A Logic for Parametric Polymorphism with Effects.
TYPES
Rasmus Ejlers Møgelberg, Alex Simpson
2007 A* conf
Complete Sequent Calculi for Induction and Infinite Descent.
LICS
James Brotherston, Alex Simpson
2007 J jnl
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637.
J. Funct. Program.
Alex Simpson
2007 J jnl
Relating First-order Set Theories and Elementary Toposes.
Bull. Symb. Log.
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
2007 A* conf
Relational Parametricity for Computational Effects.
LICS
Rasmus Ejlers Møgelberg, Alex Simpson
2007 B conf
Relational Parametricity for Control Considered as a Computational Effect.
MFPS
Rasmus Ejlers Møgelberg, Alex Simpson
2007 J jnl
Two preservation results for countable products of sequential spaces.
Math. Struct. Comput. Sci.
Matthias Schröder, Alex Simpson
2006 — conf
A convenient category of domains.
Computational Structures for Modelling Space, Time and Causality
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2006 J jnl
Coalgebraic semantics for timed processes.
Inf. Comput.
Marco Kick, John Power, Alex Simpson
2006 J jnl
Compactly generated domain theory.
Math. Struct. Comput. Sci.
Ingo Battenfeld, Matthias Schröder, Alex Simpson
2006 J jnl
Representing probability measures using probabilistic processes.
J. Complex.
Matthias Schröder, Alex Simpson
2005 — ch.
Constructive Set Theories and their Category-theoretic Models.
From sets and types to topology and analysis
Alex Simpson
2005 B conf
Probabilistic Observations and Valuations: (Extended Abstract).
MFPS
Matthias Schröder, Alex Simpson
2004 J jnl
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
Math. Log. Q.
Andrej Bauer, Alex Simpson