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},
@@ -271,6 +286,63 @@
   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
@@ -1106,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,
@@ -1216,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}
 }