Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add two papers on lexically scoped effect/exception handlers #207

Merged
merged 2 commits into from
Dec 13, 2024
Merged

Add two papers on lexically scoped effect/exception handlers #207

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
cb313b2
Add two papers on lexically scoped effect/exception handlers
yizhouzhang Dec 13, 2024
0b6c36a
Ignore fstar-lang.org (expired certificate) when checking URL validity.
yallop Dec 13, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion .lycheeignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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/.*
https://ecommons.cornell.edu/handle/.*
https://fstar-lang.org/
14 changes: 14 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down Expand Up @@ -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))
Expand Down
Loading