We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2672065 commit b56bfb9Copy full SHA for b56bfb9
README.md
@@ -1702,6 +1702,10 @@ in various programming languages.
1702
1703
### 2024
1704
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
+
1709
* **Algebraic Effects and Handlers for Arrows** (PhD Dissertation, Kyoto University)
1710
by Takahiro Sanada
1711
([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/phdthesis.pdf))
0 commit comments