publications: - title: "Linear types for computational effects" author: - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2009" doi: "http://doi.acm.org/10.1145/1480881.1480919" links: doi: "http://doi.acm.org/10.1145/1480881.1480919" researchr: "https://researchr.org/publication/Simpson09" cites: 0 citedby: 0 pages: "301" booktitle: "POPL" kind: "inproceedings" key: "Simpson09" - title: "A Generic Operational Metatheory for Algebraic Effects" author: - name: "Patricia Johann" link: "http://personal.cis.strath.ac.uk/~patricia/" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" - name: "Janis Voigtländer" link: "http://www.iai.uni-bonn.de/~jv/" year: "2010" doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.29" abstract: "We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global state, nondeterminism, probabilistic choice, and combinations thereof. Our approach is to extend Plotkin and Power’s structural operational semantics for algebraic effects (FoSSaCS 2001) with a primitive “basic preorder” on ground type computation trees. The basic preorder is used to derive notions of contextual preorder and equivalence on program terms. Under mild assumptions on this relation, we prove fundamental properties of contextual preorder (hence equivalence) including extensionality properties and a characterisation via applicative contexts, and we provide machinery for reasoning about polymorphism using relational parametricity." links: doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.29" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lics/JohannSV10" tags: - "programming languages" - "semantics" - "program analysis" - "generic programming" - " structural operational semantics" - "relational algebra" - "analysis" - "metatheory" - " algebra" - "programming" - "operational semantics" - "context-aware" - "systematic-approach" researchr: "https://researchr.org/publication/JSV10" cites: 0 citedby: 0 pages: "209-218" booktitle: "lics" kind: "inproceedings" key: "JSV10" - title: "Relational Parametricity for Computational Effects" author: - name: "Rasmus Ejlers Møgelberg" link: "https://researchr.org/alias/rasmus-ejlers-m%C3%B8gelberg" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2007.40" links: doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2007.40" researchr: "https://researchr.org/publication/MogelbergS07%3A0" cites: 0 citedby: 0 pages: "346-355" booktitle: "lics" kind: "inproceedings" key: "MogelbergS07:0" - title: "Relational Parametricity for Control Considered as a Computational Effect" author: - name: "Rasmus Ejlers Møgelberg" link: "https://researchr.org/alias/rasmus-ejlers-m%C3%B8gelberg" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.040" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.040" researchr: "https://researchr.org/publication/MogelbergS07" cites: 0 citedby: 0 journal: "ENTCS" volume: "173" pages: "295-312" kind: "article" key: "MogelbergS07" - title: "Enriching an Effect Calculus with Linear Types" author: - name: "Jeff Egger" link: "https://researchr.org/alias/jeff-egger" - name: "Rasmus Ejlers Møgelberg" link: "https://researchr.org/alias/rasmus-ejlers-m%C3%A3%C2%B8gelberg" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04027-6_19" links: doi: "http://dx.doi.org/10.1007/978-3-642-04027-6_19" researchr: "https://researchr.org/publication/EggerMS09" cites: 0 citedby: 0 pages: "240-254" booktitle: "csl" kind: "inproceedings" key: "EggerMS09" - title: "A Logic for Parametric Polymorphism with Effects" author: - name: "Rasmus Ejlers Møgelberg" link: "https://researchr.org/alias/rasmus-ejlers-m%C3%B8gelberg" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-68103-8_10" links: doi: "http://dx.doi.org/10.1007/978-3-540-68103-8_10" tags: - "logic" researchr: "https://researchr.org/publication/MogelbergS07%3A1" cites: 0 citedby: 0 pages: "142-156" booktitle: "TYPES" kind: "inproceedings" key: "MogelbergS07:1" - title: "Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability" author: - name: "Andrej Bauer" link: "https://researchr.org/alias/andrej-bauer" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2004" doi: "http://dx.doi.org/10.1002/malq.200310104" links: doi: "http://dx.doi.org/10.1002/malq.200310104" tags: - "principles" researchr: "https://researchr.org/publication/BauerS04" cites: 0 citedby: 0 journal: "mlq" volume: "50" number: "4-5" pages: "351-369" kind: "article" key: "BauerS04" - title: "Coalgebraic semantics for timed processes" author: - name: "Marco Kick" link: "https://researchr.org/alias/marco-kick" - name: "John Power" link: "https://researchr.org/alias/john-power" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2006" doi: "http://dx.doi.org/10.1016/j.ic.2005.11.003" links: doi: "http://dx.doi.org/10.1016/j.ic.2005.11.003" tags: - "semantics" researchr: "https://researchr.org/publication/KickPS06" cites: 0 citedby: 0 journal: "iandc" volume: "204" number: "4" pages: "588-609" kind: "article" key: "KickPS06" - title: "Linearly-Used Continuations in the Enriched Effect Calculus" author: - name: "Jeff Egger" link: "https://researchr.org/alias/jeff-egger" - name: "Rasmus Ejlers Møgelberg" link: "https://researchr.org/alias/rasmus-ejlers-m%C3%A3%C2%B8gelberg" - name: "Alex Simpson" link: "http://homepages.inf.ed.ac.uk/als/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-12032-9_3" links: doi: "http://dx.doi.org/10.1007/978-3-642-12032-9_3" researchr: "https://researchr.org/publication/EggerMS10" cites: 0 citedby: 0 pages: "18-32" booktitle: "fossacs" kind: "inproceedings" key: "EggerMS10"