@inproceedings{DBLP:conf/csl/FioreS14,
  title = "Substitution, jumps, and algebraic effects",
  author = "Marcelo P. Fiore and Sam Staton",
  year = "2014",
  booktitle = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014",
  editor = "Thomas A. Henzinger and Dale Miller",
  pages = "41:1--41:10",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/2603088.2603163",
  doi = "10.1145/2603088.2603163",
}