add a few more papers on sequential / flow-sensitive effect systems (#…

…194) * add a few more papers on sequential / flow-sensitive effect systems * fix spaces * more sequential effect systems * whitespace fix Co-authored-by: Daniel Hillerström <[email protected]> * whitespace fix Co-authored-by: Daniel Hillerström <[email protected]> * whitespace fix Co-authored-by: Daniel Hillerström <[email protected]> --------- Co-authored-by: Daniel Hillerström <[email protected]>
yallop · Apr 15, 2024 · 1727832 · 1727832
1 parent b35a862
commit 1727832
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -262,6 +262,10 @@ in various programming languages.
   ([pdf](https://prg.is.titech.ac.jp/papers/pdf/ppdp2023.pdf))
   ([bibtex](https://dblp.org/rec/conf/ppdp/IkemoriCM23.html?view=bibtex))
 
+* **Error Localization for Sequential Effect Systems** (SAS 2023)  
+  by Colin S. Gordon, Chaewon Yun  
+  ([doi](https://doi.org/10.1007/978-3-031-44245-2_16))
+
 * **A General Fine-Grained Reduction Theory for Effect Handlers** (ICFP 2023)  
   by Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki  
   ([doi](https://doi.org/10.1145/3607848))
@@ -398,6 +402,11 @@ in various programming languages.
   ([arxiv](https://arxiv.org/abs/2104.00250))
   ([pdf](https://arxiv.org/pdf/2104.00250.pdf))
 
+* **Polymorphic Iterable Sequential Effect Systems** (TOPLAS 2021)  
+  by Colin S. Gordon  
+  ([doi](https://doi.org/10.1145/3450272))
+  ([arxiv](https://arxiv.org/abs/1808.02010))
+
 * **Automatic Differentiation via Effects and Handlers: An Implementation in Frank** (PEPM 2021)  
   by Jesse Sigal  
   ([arxiv](https://arxiv.org/abs/2101.08095))
@@ -448,6 +457,16 @@ in various programming languages.
   Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers  
   ([pdf](https://www.cs.cornell.edu/andru/papers/ufo/bidirectional-effects.pdf))
 
+* **Designing with Static Capabilities and Effects: Use, Mention, and Invariants** (ECOOP 2020)  
+  by Colin S. Gordon  
+  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.10))
+  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.10/LIPIcs.ECOOP.2020.10.pdf))
+
+* **Lifting Sequential Effects to Control Operators** (ECOOP 2020)  
+  by Colin S. Gordon  
+  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2020.23))
+  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.23/LIPIcs.ECOOP.2020.23.pdf))
+
 * **Degrading Lists** (PPDP 2020)  
   by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu  
   ([doi](https://doi.org/10.1145/3414080.3414084))
@@ -730,6 +749,11 @@ in various programming languages.
   by Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar  
   ([arxiv](https://arxiv.org/pdf/1610.09161))
 
+* **A Generic Approach to Flow-Sensitive Polymorphic Effects** (ECOOP 2017)  
+  by Colin S. Gordon  
+  ([doi](https://doi.org/10.4230/LIPIcs.ECOOP.2017.13))
+  ([pdf](https://drops.dagstuhl.de/storage/00lipics/lipics-vol074-ecoop2017/LIPIcs.ECOOP.2017.13/LIPIcs.ECOOP.2017.13.pdf))
+
 * **Do be do be do** (POPL 2017)  
   by Sam Lindley, Conor McBride, and Craig McLaughlin  
   ([dblp](http://dblp.uni-trier.de/rec/html/conf/popl/LindleyMM17))
@@ -875,6 +899,9 @@ in various programming languages.
   ([bibtex](http://dblp.uni-trier.de/rec/html/journals/corr/BauerP13?view=bibtex))
   ([doi](http://dx.doi.org/10.2168/LMCS-10%284:9%292014))
 
+* **Parametric Effect Monads and Semantics of Effect Systems** (POPL 2014)  
+  by Shin-ya Katsumata  
+  ([doi](https://doi.org/10.1145/2535838.2535846))
 
 
 ### 2013
@@ -914,6 +941,10 @@ in various programming languages.
   ([doi](https://doi.org/10.1016/j.entcs.2013.09.007))
   ([pdf](https://danel.ahman.ee/papers/mfps13.pdf))
 
+* **The Sequential Semantics of Producer Effect Systems** (POPL 2013)  
+  by Ross Tate  
+  ([doi](https://doi.org/10.1145/2429069.2429074))
+
 
 ### 2012
 
@@ -988,6 +1019,10 @@ in various programming languages.
   by Wouter Swierstra  
   ([pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/14416CB20C4637164EA9F77097909409/S0956796808006758a.pdf))
 
+* **Types and trace effects of higher-order programs** (JFP 2008)  
+  by Christian Skalka, Scott Smith, and David van Horn  
+  ([doi](https://doi.org/10.1017/S0956796807006466))
+
 ### 2007
 
 * **Combining algebraic effects with continuations** (Theor. Comput. Sci. 2007)