search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
964 stars 81 forks source link

Add "Monad transformers and modular algebraic effects: What binds them together" #73

Closed yallop closed 5 years ago

yallop commented 5 years ago

CI is failing because eb.host.cs.st-andrews.ac.uk is returning 502 for @edwinb's "Programming and reasoning with algebraic effects and dependent types"