From cb313b21ed261dc924eb5b2ce196ef99e911661d Mon Sep 17 00:00:00 2001 From: Yizhou Zhang Date: Fri, 13 Dec 2024 17:03:07 +0900 Subject: [PATCH 1/2] Add two papers on lexically scoped effect/exception handlers --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/README.md b/README.md index bdff551..e96a7d5 100644 --- a/README.md +++ b/README.md @@ -227,6 +227,13 @@ in various programming languages. ### 2024 +* **Lexical Effect Handlers, Directly** (OOPSLA 2024) + by Cong Ma, Zhaoyi Ge, Edward Lee, and Yizhou Zhang + ([doi](https://doi.org/10.1145/3689770)) + ([dblp](https://dblp.org/rec/journals/pacmpl/MaGLZ24.html)) + ([bibtex](https://dblp.org/rec/journals/pacmpl/MaGLZ24.html?view=bibtex)) + ([pdf](https://dl.acm.org/doi/pdf/10.1145/3689770)) + * **Specification and Verification for Unrestricted Algebraic Effects and Handling** (ICFP 2024) by Yahui Song, Darius Foo, and Wei-Ngan Chin ([doi](https://dl.acm.org/doi/10.1145/3674656)) @@ -1125,6 +1132,13 @@ in various programming languages. ### 2016 +* **Accepting blame for safe tunneled exceptions** (PLDI 2016) + by Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, and Andrew C. Myers + ([doi](https://doi.org/10.1145/2908080.2908086)) + ([dblp](https://dblp.org/rec/conf/pldi/ZhangSBLM16.html)) + ([bibtex](https://dblp.org/rec/conf/pldi/ZhangSBLM16.html?view=bibtex)) + ([pdf](https://dl.acm.org/doi/pdf/10.1145/2908080.2908086)) + * **Combining effects and coeffects via grading** (ICFP 2016) by Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu ([doi](https://doi.org/10.1145/2951913.2951939)) From 0b6c36ac1313e776312aa7607803d335479a4dfa Mon Sep 17 00:00:00 2001 From: Jeremy Yallop Date: Fri, 13 Dec 2024 17:04:47 +0000 Subject: [PATCH 2/2] Ignore fstar-lang.org (expired certificate) when checking URL validity. --- .lycheeignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.lycheeignore b/.lycheeignore index 20c2d43..319ff57 100644 --- a/.lycheeignore +++ b/.lycheeignore @@ -5,4 +5,5 @@ https://www.macs.hw.ac.uk/splv/.* https://doi.org/10.1017/.* https://doi.org/10.1145/.* https://dblp.uni-trier.de/rec/.* -https://ecommons.cornell.edu/handle/.* \ No newline at end of file +https://ecommons.cornell.edu/handle/.* +https://fstar-lang.org/