Algebraic effects #11

Mesabloo started this conversation in Design resources

Mesabloo
Oct 31, 2021
Maintainer

“Algebraic effects for Functional Programming”, Daan Leijen, 2016 here
“Liberating effects with rows and handlers”, Daniel Hillerström & Sam Lindley, 2016 here

Replies: 1 comment

Mesabloo
Jun 30, 2022
Maintainer Author

“Linear Frank” James Treloar, 2020 here
Describes a linear extension to the Frank functional programming language with first class algebraic effects and handlers.
This will be useful both here and for the QTT setting (where we just have to support one more usage restriction, 0).

0 replies

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment