We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b56bfb9 commit d85ab5cCopy full SHA for d85ab5c
README.md
@@ -1705,6 +1705,7 @@ in various programming languages.
1705
* **Relational Models for a Language with Effect Capabilities** (MSc Dissertation, University of Wrocław)
1706
by Patrycja Balik
1707
([pdf](https://ii.uni.wroc.pl/media/uploads/2024/12/01/balik-patrycja-praca.pdf))
1708
+ ([YouTube](https://youtu.be/I8vtWYlrktU))
1709
1710
* **Algebraic Effects and Handlers for Arrows** (PhD Dissertation, Kyoto University)
1711
by Takahiro Sanada
0 commit comments