Added "Specificaiton and Verification for Unrestricted Algebraic Effe… (

#204)

* Added "Specificaiton and Verification for Unrestricted Algebraic Effects and Handling"

* Whitespace fix

Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>

---------

Co-authored-by: Daniel Hillerström <daniel.hillerstrom@ed.ac.uk>

README.md

@@ -222,6 +222,11 @@ in various programming languages.
 
 ### 2024
 
+* **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))
+  ([pdf](https://www.comp.nus.edu.sg/~yahuis/ICFP24/ICFP2024_TR.pdf))
+
 * **Asymptotic speedup via effect handlers** (JFP 2024)  
   by Daniel Hillerström, Sam Lindley, and John Longley  
   ([doi](https://doi.org/10.1017/s0956796824000030))