Alex K. Simpson

◀ ▶ joint publications with Rasmus Ejlers Møgelberg

> Home > Persons > Alex K. Simpson

Publications

2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/EggerMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/EggerMS14
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson:
The enriched effect calculus: syntax and semantics. J. Log. Comput. 24(3): 615-654 (2014)
2012
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1209-4268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-4268
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson:
Linear-use CPS translations in the Enriched Effect Calculus. Log. Methods Comput. Sci. 8(4) (2012)
2010
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/EggerMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/EggerMS10
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson:
Linearly-Used Continuations in the Enriched Effect Calculus. FoSSaCS 2010: 18-32
2009
[j15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-5488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-5488
Rasmus Ejlers Møgelberg, Alex Simpson:
Relational Parametricity for Computational Effects. Log. Methods Comput. Sci. 5(3) (2009)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/EggerMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/EggerMS09
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson:
Enriching an Effect Calculus with Linear Types. CSL 2009: 240-254
2007
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/MogelbergS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/MogelbergS07
Rasmus Ejlers Møgelberg, Alex Simpson:
Relational Parametricity for Computational Effects. LICS 2007: 346-355
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/types/MogelbergS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MogelbergS07
Rasmus Ejlers Møgelberg, Alex Simpson:
A Logic for Parametric Polymorphism with Effects. TYPES 2007: 142-156
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MogelbergS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MogelbergS07
Rasmus Ejlers Møgelberg, Alex Simpson:
Relational Parametricity for Control Considered as a Computational Effect. MFPS 2007: 295-312

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.