Is it you?All papers authored by Alex Simpson
Refreshing results…
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
Download from link.springer.com
A Four-Step Process to Studying the Field through the City of London
Download from eprints.brighton.ac.uk
Relating first-order set theories, toposes and categories of classes
Download from www.research.ed.ac.uk
Abstract Datatypes for Real Numbers in Type Theory
Download from www.research.ed.ac.uk
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
Download from link.springer.com
Constructive toposes with countable sums as models of constructive set theory
Download from doi.org
Linear-use CPS translations in the Enriched Effect Calculus
Download from lmcs.episciences.org
Surgical Strategies: Hallux Rigidus Surgical Techniques
Download from www.researchgate.net
A Generic Operational Metatheory for Algebraic Effects
Download from www.research.ed.ac.uk
Linearly-Used Continuations in the Enriched Effect Calculus
Download from link.springer.com
Relational Parametricity for Computational Effects
Download from doi.org
Enriching an Effect Calculus with Linear Types
Download from citeseerx.ist.psu.edu
Relational Parametricity for Control Considered as a Computational Effect
Download from doi.org
A Convenient Category of Domains
Download from doi.org
Two preservation results for countable products of sequential spaces
Download from citeseerx.ist.psu.eduMissing publications? Search for publications with a matching author name.