We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 12263bc commit fdab147Copy full SHA for fdab147
README.md
@@ -319,7 +319,7 @@ in various programming languages.
319
* **Specification and Verification for Unrestricted Algebraic Effects and Handling** (ICFP 2024)
320
by Yahui Song, Darius Foo, and Wei-Ngan Chin
321
([doi](https://doi.org/10.1145/3674656))
322
- ([pdf](https://www.comp.nus.edu.sg/~yahuis/ICFP24/ICFP2024_TR.pdf))
+ ([pdf](https://songyahui.github.io/ICFP24/ICFP2024_TR.pdf))
323
324
* **Asymptotic speedup via effect handlers** (JFP 2024)
325
by Daniel Hillerström, Sam Lindley, and John Longley
0 commit comments