Skip to content
cs-conference-ranking.org

Alex Simpson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

2007–2024

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2024LICSEquivalence and Conditional Independence in Atomic Sheaf Logic.Alex Simpson
2018CSLBasic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.Aliaume Lopez, Alex Simpson
2018ESOPBehavioural Equivalence via Modalities for Algebraic Effects.Alex Simpson, Niels F. W. Voorneveld
2017CALCOProbability Sheaves and the Giry Monad.Alex Simpson
2017FOSSACSCyclic Arithmetic Is Equivalent to Peano Arithmetic.Alex Simpson
2016FOSSACSComprehensive Parametric Polymorphism: Categorical Models and Type Theory.Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
2013FOSSACSA Proof System for Compositional Verification of Probabilistic Concurrent Processes.Matteo Mio, Alex Simpson
2010FOSSACSLinearly-Used Continuations in the Enriched Effect Calculus.Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson
2010LICSA Generic Operational Metatheory for Algebraic Effects.Patricia Johann, Alex Simpson, Janis Voigtlnder
2009CSLEnriching an Effect Calculus with Linear Types.Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson
2009POPLLinear types for computational effects.Alex Simpson
2007LICSComplete Sequent Calculi for Induction and Infinite Descent.James Brotherston, Alex Simpson
2007LICSRelational Parametricity for Computational Effects.Rasmus Ejlers Mgelberg, Alex Simpson