@inproceedings{Simpson09,
  title = {Linear types for computational effects},
  author = {Alex Simpson},
  year = {2009},
  doi = {10.1145/1480881.1480919},
  url = {http://doi.acm.org/10.1145/1480881.1480919},
  researchr = {https://researchr.org/publication/Simpson09},
  cites = {0},
  citedby = {0},
  pages = {301},
  booktitle = {POPL},
}

@inproceedings{JSV10,
  title = {A Generic Operational Metatheory for Algebraic Effects},
  author = {Patricia Johann and Alex Simpson and Janis Voigtländer},
  year = {2010},
  doi = {10.1109/LICS.2010.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2010.29},
  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},
}

@inproceedings{MogelbergS07:0,
  title = {Relational Parametricity for Computational Effects},
  author = {Rasmus Ejlers Møgelberg and Alex Simpson},
  year = {2007},
  doi = {10.1109/LICS.2007.40},
  url = {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},
}

@article{MogelbergS07,
  title = {Relational Parametricity for Control Considered as a Computational Effect},
  author = {Rasmus Ejlers Møgelberg and Alex Simpson},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.040},
  url = {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},
}

@inproceedings{EggerMS09,
  title = {Enriching an Effect Calculus with Linear Types},
  author = {Jeff Egger and Rasmus Ejlers Møgelberg and Alex Simpson},
  year = {2009},
  doi = {10.1007/978-3-642-04027-6_19},
  url = {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},
}

@inproceedings{MogelbergS07:1,
  title = {A Logic for Parametric Polymorphism with Effects},
  author = {Rasmus Ejlers Møgelberg and Alex Simpson},
  year = {2007},
  doi = {10.1007/978-3-540-68103-8_10},
  url = {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},
}

@article{BauerS04,
  title = {Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability},
  author = {Andrej Bauer and Alex Simpson},
  year = {2004},
  doi = {10.1002/malq.200310104},
  url = {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},
}

@article{KickPS06,
  title = {Coalgebraic semantics for timed processes},
  author = {Marco Kick and John Power and Alex Simpson},
  year = {2006},
  doi = {10.1016/j.ic.2005.11.003},
  url = {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},
}

@inproceedings{EggerMS10,
  title = {Linearly-Used Continuations in the Enriched Effect Calculus},
  author = {Jeff Egger and Rasmus Ejlers Møgelberg and Alex Simpson},
  year = {2010},
  doi = {10.1007/978-3-642-12032-9_3},
  url = {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},
}