Skip to content

Commit

Permalink
Add "Modular probabilistic models via algebraic effects"
Browse files Browse the repository at this point in the history
  • Loading branch information
yallop committed Aug 3, 2023
1 parent 635ffc6 commit 7b9ec50
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -204,6 +204,9 @@ in various programming languages.

### 2022

* **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))
* **Automated Temporal Verification for Algebraic Effects** (APLAS 2022)
by Yahui Song, Darius Foo, and Wei-Ngan Chin
([pdf](https://www.comp.nus.edu.sg/~yahuis/APLAS2022.pdf))
Expand Down

0 comments on commit 7b9ec50

Please sign in to comment.