bibliography.bib

@inproceedings{moggi1989computational,
  title={Computational lambda-calculus and monads},
  author={Moggi, Eugenio},
  booktitle={[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science},
  pages={14--23},
  year={1989},
  organization={IEEE}
}

@book{moggi1990abstract,
  title={An abstract view of programming languages},
  author={Moggi, Eugenio},
  year={1990},
  publisher={University of Edinburgh. Department of Computer Science. Laboratory for~…}
}

@article{plotkin2003algebraic,
  title={Algebraic operations and generic effects},
  author={Plotkin, Gordon and Power, John},
  journal={Applied categorical structures},
  volume={11},
  number={1},
  pages={69--94},
  year={2003},
  publisher={Springer}
}

@inproceedings{plotkin2009handlers,
  title={Handlers of algebraic effects},
  author={Plotkin, Gordon and Pretnar, Matija},
  booktitle={European Symposium on Programming},
  pages={80--94},
  year={2009},
  organization={Springer}
}

@inproceedings{dolan2017concurrent,
  title={Concurrent system programming with effect handlers},
  author={Dolan, Stephen and Eliopoulos, Spiros and Hillerstr{\"o}m, Daniel and Madhavapeddy, Anil and Sivaramakrishnan, KC and White, Leo},
  booktitle={International Symposium on Trends in Functional Programming},
  pages={98--117},
  year={2017},
  organization={Springer}
}

@article{reynolds1993discoveries,
  title={The discoveries of continuations},
  author={Reynolds, John C},
  journal={Lisp and symbolic computation},
  volume={6},
  number={3-4},
  pages={233--247},
  year={1993},
  publisher={Springer}
}

@misc{eff-website,
  title = {{Eff} official website},
  howpublished = {\url{https://www.eff-lang.org/}},
  note = {Accessed: 2020-01-10}
}

@misc{wrk2-website,
  title = {{wrk2}, A constant throughput, correct latency recording variant of wrk},
  howpublished = {\url{https://github.com/defanator/wrk2}},
  note = {Accessed: 2020-05-04}
}

@misc{ocaml-website,
  title = {{OCaml} official website},
  howpublished = {\url{https://ocaml.org/}},
  note = {Accessed: 2020-03-17}
}

@misc{caml-vm,
  title = {{Caml Virtual Machine} --- Instruction set},
  howpublished = {\url{http://cadmium.x9c.fr/distrib/caml-instructions.pdf}},
  note = {Accessed: 2020-04-25}
}

@book{milner1997definition,
  title={The definition of standard ML: revised},
  author={Milner, Robin and Tofte, Mads and Harper, Robert and MacQueen, David},
  year={1997},
  publisher={MIT press}
}

@inproceedings{levy1999call,
  title={Call-by-push-value: A subsuming paradigm},
  author={Levy, Paul Blain},
  booktitle={International Conference on Typed Lambda Calculi and Applications},
  pages={228--243},
  year={1999},
  organization={Springer}
}

@article{Kiselyov_2018,
   title={Eff Directly in OCaml},
   volume={285},
   ISSN={2075-2180},
   url={http://dx.doi.org/10.4204/EPTCS.285.2},
   DOI={10.4204/eptcs.285.2},
   journal={Electronic Proceedings in Theoretical Computer Science},
   publisher={Open Publishing Association},
   author={Kiselyov, Oleg and Sivaramakrishnan, KC},
   year={2018},
   month={Dec},
   pages={23–58}
}

@inproceedings{kiselyov2010delimited,
  title={Delimited control in OCaml, abstractly and concretely: System description},
  author={Kiselyov, Oleg},
  booktitle={International Symposium on Functional and Logic Programming},
  pages={304--320},
  year={2010},
  organization={Springer}
}

@inproceedings{hillerstrom2016liberating,
  title={Liberating effects with rows and handlers},
  author={Hillerstr{\"o}m, Daniel and Lindley, Sam},
  booktitle={Proceedings of the 1st International Workshop on Type-Driven Development},
  pages={15--27},
  year={2016},
  organization={ACM}
}

@inproceedings{flanagan1993essence,
  title={The essence of compiling with continuations},
  author={Flanagan, Cormac and Sabry, Amr and Duba, Bruce F and Felleisen, Matthias},
  booktitle={ACM Sigplan Notices},
  volume={28},
  number={6},
  pages={237--247},
  year={1993},
  organization={ACM}
}

@misc{bauer2018algebraic,
    title={What is algebraic about algebraic effects and handlers?},
    author={Andrej Bauer},
    year={2018},
    eprint={1807.05923},
    archivePrefix={arXiv},
    primaryClass={cs.LO}
}

@article{bauer2015programming,
  title={Programming with algebraic effects and handlers},
  author={Bauer, Andrej and Pretnar, Matija},
  journal={Journal of logical and algebraic methods in programming},
  volume={84},
  number={1},
  pages={108--123},
  year={2015},
  publisher={Elsevier}
}

@article{plotkin2002computational,
  title={Computational effects and operations: An overview},
  author={Plotkin, Gordon and Power, John},
  year={2002}
}

@article{landin-secd,
    author = {Landin, P. J.},
    title = "{The Mechanical Evaluation of Expressions}",
    journal = {The Computer Journal},
    volume = {6},
    number = {4},
    pages = {308-320},
    year = {1964},
    month = {01},
    abstract = "{This paper is a contribution to the “theory” of the activity of using computers. It shows how some forms of expression used in current programming languages can be modelled in Church's λ-notation, and then describes a way of “interpreting” such expressions. This suggests a method, of analyzing the things computer users write, that applies to many different problem orientations and to different phases of the activity of using a computer. Also a technique is introduced by which the various composite information structures involved can be formally characterized in their essentials, without commitment to specific written or other representations.}",
    issn = {0010-4620},
    doi = {10.1093/comjnl/6.4.308},
    url = {https://doi.org/10.1093/comjnl/6.4.308},
    eprint = {https://academic.oup.com/comjnl/article-pdf/6/4/308/1067901/6-4-308.pdf},
}

@book{beck2003test,
  title={Test-driven development: by example},
  author={Beck, Kent},
  year={2003},
  publisher={Addison-Wesley Professional}
}

@inproceedings{bauer2013effect,
  title={An effect system for algebraic effects and handlers},
  author={Bauer, Andrej and Pretnar, Matija},
  booktitle={International Conference on Algebra and Coalgebra in Computer Science},
  pages={1--16},
  year={2013},
  organization={Springer}
}

@book{paulson1996ml,
  title={ML for the Working Programmer},
  author={Paulson, Lawrence C and Paulson, Larry C},
  year={1996},
  publisher={Cambridge University Press}
}

@phdthesis{hillerstrom2016compilation,
  title={Compilation of effect handlers and their applications in concurrency},
  author={Hillerstr{\"o}m, Daniel},
  year={2016},
  school={Master’s thesis, School of Informatics, The University of Edinburgh}
}

@article{leroy1990zinc,
  title={The ZINC experiment: an economical implementation of the ML language},
  author={Leroy, Xavier},
  year={1990}
}