Non-blind backtracking reference

thesis.bib

@@ -71,6 +71,21 @@
   bibsource = {dblp computer science bibliography, http://dblp.org}
 }
 
+# Programming with continuations
+@InProceedings{FriedmanHK84,
+  author    = {Daniel P. Friedman
+              and Christopher T Haynes
+              and Eugene Kohlbecker},
+  editor    = {Peter Pepper},
+  title     = {Programming with Continuations},
+  booktitle = {Program Transformation and Programming Environments},
+  year      = 1984,
+  publisher = {Springer Berlin Heidelberg},
+  address   = {Berlin, Heidelberg},
+  pages     = {263--274},
+  isbn      = {978-3-642-46490-4}
+}
+
 # Links compiler + Multicore OCaml
 @Misc{HillerstromLS16,
   author = {Daniel Hillerström and Sam Lindley and {KC} Sivaramakrishnan},
@@ -173,12 +188,13 @@
 }
 
 @article{KammarP17,
-  author = {Ohad Kammar and Matija Pretnar},
+  author    = {Ohad Kammar and
-  title  = {No value restriction is needed for algebraic effects and handlers},
+               Matija Pretnar},
-  journal = {Journal of Functional Programming},
+  title     = {No value restriction is needed for algebraic effects and handlers},
-  year    = 2017,
+  journal   = {J. Funct. Program.},
-  OPTdoi = {https://doi.org/10.1017/S0956796816000320},
+  volume    = {27},
-  volume = 27
+  pages     = {e7},
+  year      = {2017}
 }
 
 @article{ForsterKLP17,
@@ -229,6 +245,13 @@
   year      = {2020}
 }
 
+@phdthesis{Ahman17,
+  author    = {Danel Ahman},
+  title     = {Fibred Computational Effects},
+  school    = {The University of Edinburgh, {UK}},
+  year      = {2017}
+}
+
 @phdthesis{Fowler19,
   author    = {Simon Fowler},
   title     = {Typed concurrent functional programming with channels, actors and sessions},
@@ -253,6 +276,73 @@
   year      = {2012}
 }
 
+@article{LuksicP20,
+  author    = {Ziga Luksic and
+               Matija Pretnar},
+  title     = {Local algebraic effect theories},
+  journal   = {J. Funct. Program.},
+  volume    = {30},
+  pages     = {e13},
+  year      = {2020}
+}
+
+@phdthesis{Brachthauser20,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user},
+  title     = {Design and Implementation of Effect Handlers for Object-Oriented Programming
+               Languages},
+  school    = {University of T{\"{u}}bingen, Germany},
+  year      = {2020}
+}
+
+@article{XieBHSL20,
+  author    = {Ningning Xie and
+               Jonathan Immanuel Brachth{\"{a}}user and
+               Daniel Hillerstr{\"{o}}m and
+               Philipp Schuster and
+               Daan Leijen},
+  title     = {Effect handlers, evidently},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {4},
+  number    = {{ICFP}},
+  pages     = {99:1--99:29},
+  year      = {2020}
+}
+
+# Effekt
+@article{BrachthauserSO18,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user and
+               Philipp Schuster and
+               Klaus Ostermann},
+  title     = {Effect handlers for the masses},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {2},
+  number    = {{OOPSLA}},
+  pages     = {111:1--111:27},
+  year      = {2018}
+}
+
+@inproceedings{BrachthauserS17,
+  author    = {Jonathan Immanuel Brachth{\"{a}}user and
+               Philipp Schuster},
+  title     = {Effekt: extensible algebraic effects in Scala (short paper)},
+  booktitle = {SCALA@SPLASH},
+  pages     = {67--72},
+  publisher = {{ACM}},
+  year      = {2017}
+}
+
+@article{SchusterBO20,
+  author    = {Philipp Schuster and
+               Jonathan Immanuel Brachth{\"{a}}user and
+               Klaus Ostermann},
+  title     = {Compiling effect handlers in capability-passing style},
+  journal   = {Proc. {ACM} Program. Lang.},
+  volume    = {4},
+  number    = {{ICFP}},
+  pages     = {93:1--93:28},
+  year      = {2020}
+}
+
 # Eff
 @article{BauerP15,
   author    = {Andrej Bauer and
@@ -265,6 +355,38 @@
   year      = {2015}
 }
 
+@article{BauerP13,
+  author    = {Andrej Bauer and
+               Matija Pretnar},
+  title     = {An Effect System for Algebraic Effects and Handlers},
+  journal   = {Log. Methods Comput. Sci.},
+  volume    = {10},
+  number    = {4},
+  year      = {2014}
+}
+
+@article{Pretnar13,
+  author    = {Matija Pretnar},
+  title     = {Inferring Algebraic Effects},
+  journal   = {Log. Methods Comput. Sci.},
+  volume    = {10},
+  number    = {3},
+  year      = {2014}
+}
+
+# Co-handlers
+@inproceedings{AhmanB20,
+  author    = {Danel Ahman and
+               Andrej Bauer},
+  title     = {Runners in Action},
+  booktitle = {{ESOP}},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {12075},
+  pages     = {29--55},
+  publisher = {Springer},
+  year      = {2020}
+}
+
 # Idris
 @inproceedings{Brady13,
   author    = {Edwin Brady},
@@ -821,6 +943,19 @@
   year      = {2018}
 }
 
+@article{KarachaliasPSVS20,
+  author    = {Georgios Karachalias and
+               Matija Pretnar and
+               Amr Hany Saleh and
+               Stien Vanderhallen and
+               Tom Schrijvers},
+  title     = {Explicit effect subtyping},
+  journal   = {J. Funct. Program.},
+  volume    = {30},
+  pages     = {e15},
+  year      = {2020}
+}
+
 # Pyro
 @Misc{Goodman17,
   author = {Noah Goodman},
@@ -1043,9 +1178,8 @@
   author = {J. Y. Girard},
   school = {Universit{\'e} Paris 7},
   title = {Interpr{\'e}tation fonctionnelle et {\'e}limination des coupures de l'arithm{\'e}tique d'ordre sup{\'e}rieur},
-  type = {PhD thesis},
   year = 1972,
-  address = {Paris, France}
+  address = {France}
 }
 
 @inproceedings{Reynolds74,
@@ -1153,4 +1287,15 @@
   month     = apr,
   year      = 2008,
   howpublished = {Presented at {GaLoP III}}
+}
+
+# Value restriction
+@article{Wright95,
+  author    = {Andrew K. Wright},
+  title     = {Simple Imperative Polymorphism},
+  journal   = {{LISP} Symb. Comput.},
+  volume    = {8},
+  number    = {4},
+  pages     = {343--355},
+  year      = {1995}
 }