Update bibliography

thesis.bib

@@ -173,12 +173,13 @@
 }
 
 @article{KammarP17,
-  author = {Ohad Kammar and Matija Pretnar},
+  author    = {Ohad Kammar and
+               Matija Pretnar},
   title     = {No value restriction is needed for algebraic effects and handlers},
-  journal = {Journal of Functional Programming},
-  year    = 2017,
-  OPTdoi = {https://doi.org/10.1017/S0956796816000320},
-  volume = 27
+  journal   = {J. Funct. Program.},
+  volume    = {27},
+  pages     = {e7},
+  year      = {2017}
 }
 
 @article{ForsterKLP17,
@@ -229,6 +230,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 +261,16 @@
   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}
+}
+
 # Eff
 @article{BauerP15,
   author    = {Andrej Bauer and
@@ -265,6 +283,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 +871,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},