Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add "Algebraic Effects and Handlers for Arrows" by Takahiro Sanada #189

Merged
merged 2 commits into from
Feb 24, 2024
Merged

Add "Algebraic Effects and Handlers for Arrows" by Takahiro Sanada #189

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
93ed635
Add "Algebraic Effects and Handlers for Arrows" by Takahiro Sanada
yallop Feb 23, 2024
d002a3b
Update various MSFP 2020 links.
yallop Feb 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 13 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -269,6 +269,10 @@ in various programming languages.

### 2022

* **Category-Graded Algebraic Theories and Effect Handlers** (MFPS 2022)
by Takahiro Sanada
([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/mfps2022-cat-graded-preproceedings-extended.pdf))

* **Modular probabilistic models via algebraic effects** (ICFP 2022)
by Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu
([pdf](https://dl.acm.org/doi/pdf/10.1145/3547635))
Expand Down Expand Up @@ -510,15 +514,15 @@ in various programming languages.

* **Combining predicate transformer semantics for effects: a case study in parsing regular languages** (MSFP 2020)
by Anne Baanen and Wouter Swierstra
([pdf](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2020:3))
([pdf](https://arxiv.org/pdf/2005.00197v1.pdf))

* **From Equations to Distinctions: Two Interpretations of Effectful Computations** (MSFP 2020)
by Niels Voorneveld
([pdf](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2020:4))
([pdf](https://arxiv.org/pdf/2005.00196.pdf))

* **Unifying graded and parameterised monads** (MSFP 2020)
by Dominic Orchard, Philip Wadler and Harley Eades III
([pdf](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2020:7))
([pdf](https://arxiv.org/pdf/2001.10274.pdf))

* **Local Algebraic Effect Theories** (JFP 2020)
by Žiga Lukšič and Matija Pretnar
Expand Down Expand Up @@ -1092,6 +1096,12 @@ in various programming languages.

## Theses and Dissertations

### 2024

* **Algebraic Effects and Handlers for Arrows** (PhD Dissertation, Kyoto University)
by Takahiro Sanada
([pdf](https://www.kurims.kyoto-u.ac.jp/~tsanada/papers/phdthesis.pdf))

### 2023

* **Elaine: Elaboration of Higher-Order Effects as First-Class Language Feature** (MSc Dissertation, TU Delft)
Expand Down
Loading