wasm-effect.bib

@STRING{ LNCS        = {{LNCS}}}
@STRING{ JFP         = {{J}ournal of {F}unctional {P}rogramming}}
@STRING{ AW          = {{A}ddison-{W}esley}}
@STRING{ SV          = {{S}pringer-{V}erlag}}
@STRING{ ACM         = {{ACM} press}}
@STRING{ CACM        = {{C}ommunications of the {ACM}}}
@STRING{ ICFP        = {the International Conference on Functional Programming ({ICFP})}}


@inproceedings{KammarPlotkin:handlers,
 author = {Kammar, Ohad and Plotkin, Gordon D.},
 title = {Algebraic Foundations for Effect-dependent Optimisations},
 booktitle = {Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '12},
 year = {2012},
 isbn = {978-1-4503-1083-3},
 location = {Philadelphia, PA, USA},
 pages = {349--360},
 numpages = {12},
 urldoi = {http://doi.acm.org/10.1145/2103656.2103698},
 doi = {10.1145/2103656.2103698},
 acmid = {2103698},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {algebraic theory of effects, call-by-push-value, code transformations, compiler optimisations, computational effects, denotational semantics, domain theory, inequational logic, relevant and affine monads, sum and tensor, type and effect systems, universal algebra},
} 

@unpublished{White:mleff,
  author    = {Leo White},
  title     = {Effect Types for OCaml},
  url       = {https://github.com/lpw25/ocaml-typed-effects},
  year      = 2016,
  month     = Sep
}

@inproceedings{Hillerstrom:cps,
  author    = {Hillerström, Daniel and Lindley, Sam and Atkey, Bob and Sivaramakrishnan, KC},
  title     = {Continuation Passing Style for Effect Handlers},
  booktitle = {Proceedings of the second International Conference on Formal Structures for Computation and Deduction},
  series    = {FSCD'17},
  year      = 2017,
  month     = sep
}

@inproceedings{Dolan:conc,
  author    = {Dolan, Stephen and Eliopoulos, Spiros and  Hillerström, Daniel and Madhavapeddy, Anil and  Sivaramakrishnan, KC and White, Leo},
  title     = {Concurrent System Programming with Effect Handlers},
  year      = 2017,
  month     = may,
  booktitle = {Proceedings of the Symposium on Trends in Functional Programming},
  series    = {TFP'17}
}

@UNPUBLISHED{Bracevac:corrl,
  author    = "Bračevac, Oliver and Amin, Nada and Guido Salvaneschi and Sebastian Erdweg and Patrick Eugster and Mira Mezini",
  title     = "Effectful Reactive programming",
  url       = "http://www.st.informatik.tu-darmstadt.de/artifacts/corrl/corrl_draft.pdf",
  year      = 2018,
  note      = "Draft article"
}

@INPROCEEDINGS{Brachthauser:effekt,
  author   = "Brachthäuser, Jonathan Immanuel and Schuster, Philipp",
  title    = "Effekt: Extensible Algebraic Effects in Scala",
  booktitle = "Scala'17",
  location  = "Vancouver, CA",
  month    = oct,
  year     = 2017
}
 
@article{Rossberg:fing,
author = {Rossberg, Andreas and Russo, Claudio and Dreyer, Derek},
title = {F-ing Modules},
booktitle = {},
year = {2014},
month = {November},
pages = {529–607},
journal = {Journal of Functional Programming},
volume = 24,
number=5
}
 
@inproceedings{Leijen:async,
 author = {Leijen, Daan},
 title = {Structured Asynchrony with Algebraic Effects},
 booktitle = {Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development},
 series = {TyDe 2017},
 year = {2017},
 isbn = {978-1-4503-5183-6},
 location = {Oxford, UK},
 pages = {16--29},
 numpages = {14},
 doi = {10.1145/3122975.3122977}
} 

@InProceedings{Leijen:algeffc,
author="Leijen, Daan",
editor="Chang, Bor-Yuh Evan",
title="Implementing Algebraic Effects in C",
booktitle="Programming Languages and Systems",
year="2017",
publisher="Springer International Publishing",
pages="339--363"
}


@ARTICLE{Dragos:cont,
  title = {Continuations in the Java Virtual Machine},
  author = {Dragos, Iulian and Cunei, Antonio and Vitek, Jan},
  publisher = {Technische Universität Berlin},
  journal = {Second ECOOP Workshop on Implementation, Compilation,  Optimization of Object-Oriented Languages, Programs and  Systems (ICOOOLPS'2007)},
  address = {Berlin},
  year = {2007}
}

@INPROCEEDINGS{unwindprotect,
  author = "Sitaram, Dorai",
  title  = "Unwind-protect in portable scheme",
  booktitle = "Proceedings of the Scheme Workshop",
  year   = 2003,
  month  = nov
}

@UNPUBLISHED{dynamicwind,
  author = "Kelsey, Richard and Clinger, William and Rees, Jonathan",
  title  = "Revised^5^ Report on the Algorithmic Language Scheme", 
  note   = "chapter 6.4",
  year   = 1998
}

@ARTICLE{Biernacki:care,
 author = {Biernacki, Dariusz and Pir\'{o}g, Maciej and Polesiuk, Piotr and Sieczkowski, Filip},
 title = {Handle with Care: Relational Interpretation of Algebraic Effects and Handlers},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {January 2018},
 volume = {2},
 number = {POPL'17 issue},
 month = dec,
 year = {2017},
 issn = {2475-1421},
 pages = {8:1--8:30},
 articleno = {8},
 numpages = {30},
 doi = {10.1145/3158096},
 keywords = {algebraic effect, logical relation, row polymorphism}
} 

@TECHREPORT{Leijen:async-tr,
  author   = {Daan Leijen},
  title    = {Structured Asynchrony with Algebraic Effects},
  institution = {Microsoft Research},
  year = 2017,
  month = May,
  number = {{MSR-TR-2017-21}}
}

@inproceedings{Leijen:algeff,
  author  = "Daan Leijen",
  title   = {Type Directed Compilation of Row-typed Algebraic Effects},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)},
  month   = Jan,
  year    = 2017,
  isbn    = {978-1-4503-4660-3},
  location= {Paris, France},
  pages   = {486--499},
  numpages= {14},
  doi     = {10.1145/3009837.3009872}
}

@techreport{Leijen:algefftr,
 author   = {Daan Leijen}, 
 title    = {Algebraic Effects for Functional Programming},  
 institution= {Microsoft Research technical report},  
 year     = 2016,  
 month    = Aug,
 number   = {MSR-TR-2016-29},
 xurl      = {https://www.microsoft.com/en-us/research/publication/algebraic-effects-for-functional-programming/},
 note     = {Extended version of \cite{Leijen:algeff}}
}


@unpublished{Odersky:implicit,
  author  = {Odersky, Martin},
  title   = {Implicit Function Types},
  note    = {Blog post},
  year    = 2016,
  month   = Dec,
  url     = {https://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html}
}

@inproceedings{Dolan:squad,
  title   ={Effectively Tackling the Awkward Squad},
  author  ={Dolan, Stephen and Eliopoulos, Spiros and Hillerstr{\"o}m, Daniel and Madhavapeddy, Anil and Sivaramakrishnan, KC and White, Leo},
  booktitle={ML Workshop},
  year    ={2017}
}

@inproceedings{Dolan:oneshot,
  author={Dolan, Stephen and White, Leo and Sivaramakrishnan, KC and Yallop, Jeremy and Madhavapeddy, Anil},
  title={Effective concurrency through algebraic effects},
  booktitle={{OCaml} Workshop},
  month=Sep,
  year=2015
}

@inproceedings{Brady:algeff,
 author = {Brady, Edwin},
 title = {Programming and Reasoning with Algebraic Effects and Dependent Types},
 booktitle = {Proc. of ICFP'13},
 year = {2013},
 pages = {133--144},
 numpages = {12},
 doi = {10.1145/2500365.2500581}
} 
 
@inproceedings{Kammar:algeffpower,
  author    = {Yannick Forster and Ohad Kammar and Sam Lindley and Matija Pretnar},
  title     = {On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control}, 
  series    = {ICFP'17},
  booktitle = {Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming},
  year      = 2017,
  etype     = {arxiv},
  eprint    = {1610.09161}
} 
 
@article{Swierstra:carte,
  author = {Swierstra, Wouter},
  title = {Data Types \`{a} La Carte},
  journal = {Journal of Functional Programming},
  volume = {18},
  number = {4},
  month = jul,
  year = {2008},
  pages = {423--436},
  numpages = {14},
  doi = {10.1017/S0956796808006758}
} 


@inproceedings{Wu:fusion,
  title = {Fusion for Free: Efficient Algebraic Effect Handlers},
  author = {Nicolas Wu and Tom Schrijvers},
  year = {2015},
  booktitle = {Proceedings of the International Conference on Mathematics of Program Construction},
  series = {MPC'15},
  doi = {10.1.1.723.5577}
}

@inproceedings{Frank,
  author    ={ Lindley, Sam and McBride, Connor and McLaughlin, Craig},
  title     ={Do be do be do},
  booktitle ={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages ({POPL}'17)},
  location  ={Paris, France},  
  month     = jan,
  year      = 2017,
  doi       = {10.1145/3009837.3009897},
  pages     = {500--514}
}

@inproceedings{Pretnar:handlers,
  author    = {Plotkin, Gordon D. and Pretnar, Matija},
  title     = {Handlers of Algebraic Effects},
  booktitle = {18th European Symposium on Programming Languages and Systems},
  series    = {ESOP'09},
  location  = {York, UK},
  month     = Mar,
  pages     = {80--94},
  year      = 2009,
  doi       = {10.1007/978-3-642-00590-9_7}
}

@inproceedings{Bierman:async,
  author    ="Bierman, Gavin and Russo, Claudio and Mainland, Geoffrey and Meijer, Erik and Torgersen, Mads",
  title     ="Pause ‘n’ Play: Formalizing Asynchronous C#",
  booktitle ={Proceedings of the 26th European Conference on Object-Oriented Programming},
  series    = {ECOOP'12},
  location  ={Beijing, China},
  year      =2012,
  pages     ="233--257",
  doi       ="10.1007/978-3-642-31057-7_12"
}


@unpublished{Leijen:kokabook,
  author="Daan Leijen",
  title="Koka overview and reference",
  url="http://bit.do/kokabook",
  year=2016
}


@Article{Plotkin:effects,
  author="Plotkin, Gordon D. and Power, John",
  title="Algebraic Operations and Generic Effects",
  journal="Applied Categorical Structures",
  year="2003",
  volume="11",
  number="1",
  pages="69--94",
  doi="10.1023/A:1023064908962"
}

@inproceedings{Oleg:freer,
 author = {Kiselyov, Oleg and Ishii, Hiromi},
 title = {Freer Monads, More Extensible Effects},
 booktitle = {Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell},
 series = {Haskell '15},
 year = {2015},
 location = {Vancouver, BC, Canada},
 pages = {94--105},
 numpages = {12},
 doi = {10.1145/2804302.2804319},
} 

@article{Kammar:novalue,
  author    = {Ohad Kammar and Matija Pretnar},
  title     = {No value restriction is needed for algebraic effects and handlers},
  journal   = {CoRR},
  volume    = {abs/1605.06938},
  year      = {2016}
}

@inproceedings{Wu:hscope,
 author = {Wu, Nicolas and Schrijvers, Tom and Hinze, Ralf},
 title = {Effect Handlers in Scope},
 booktitle = {Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell},
 series = {Haskell '14},
 year = {2014},
 isbn = {978-1-4503-3041-1},
 location = {G\"othenburg, Sweden},
 pages = {1--12},
 numpages = {12},
 doi = {10.1145/2633357.2633358}
} 

@inproceedings{Lindley:liberate,
  author  = "Hillerström, Daniel and Lindley, Sam",
  title   = "Liberating Effects with Rows and Handlers",
  booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development},
  series = {{TyDe} 2016},
  year = {2016},
  location = {Nara, Japan},
  pages = {15--27},
  numpages = {13},
  doi = {10.1145/2976022.2976033},
}

@inproceedings{Brady:handlers,
 author = {Brady, Edwin},
 title = {Programming and Reasoning with Algebraic Effects and Dependent Types},
 booktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '13},
 year = {2013},
 isbn = {978-1-4503-2326-0},
 location = {Boston, Massachusetts, USA},
 pages = {133--144},
 numpages = {12},
 doi = {10.1145/2500365.2500581},
 acmid = {2500581},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {algebraic effects, dependent types},
} 

@inproceedings{Kammar:handlers,
 author = {Kammar, Ohad and Lindley, Sam and Oury, Nicolas},
 title = {Handlers in Action},
 booktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '13},
 year = {2013},
 isbn = {978-1-4503-2326-0},
 location = {Boston, Massachusetts, USA},
 pages = {145--158},
 numpages = {14},
 doi = {10.1145/2500365.2500590},
 acmid = {2500590},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {algebraic effects, continuations, effect handlers, effect typing, haskell, modularity, monads},
} 


@INPROCEEDINGS{Plotkin:handlers,
  author    = {Plotkin, Gordon D. and Pretnar, Matija},
  title     = {Handling Algebraic Effects},
  journal   = {Logical Methods in Computer Science},
  volume    = {9},
  number    = {4},
  year      = {2013},
  doi       = {10.2168/LMCS-9(4:23)2013}
}

@ARTICLE{Bauer:algeff,
  author    = {Andrej Bauer and Matija Pretnar},
  title     = {Programming with algebraic effects and handlers},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {1},
  pages     = {108--123},
  year      = {2015},
  doi       = {10.1016/j.jlamp.2014.02.001}
}

@INPROCEEDINGS{Kiselyov:eff,
  author    = {Kiselyov, Oleg and Sivaramakrishnan, KC},
  title     = {Eff directly in OCaml},
  booktitle = {ML workshop 2016},
  month     = Dec,
  year      = 2017,
  note      = {Extended version},
  url       = {http://kcsrk.info/papers/caml-eff17.pdf}
}

@ARTICLE{Bauer:effsystem,
  author    = {Andrej Bauer and Matija Pretnar},
  title     = {An Effect System for Algebraic Effects and Handlers},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {4},
  year      = {2014}
}

@ARTICLE{Pretnar:effinf,
  author    = {Matija Pretnar},
  title     = {Inferring Algebraic Effects},
  journal   = {Logical Methods in Computer Science},
  volume    = {10},
  number    = {3},
  year      = {2014},
  doi       = {10.2168/LMCS-10(3:21)2014}
}