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