search

Centril / rfc-effects

Preparing an RFC on effect polymorphism in Rust with focus on 'const'
10 stars 0 forks source link

Paper: Programming and Reasoning with Algebraic Effects and Dependent Types #1

Open Centril opened 6 years ago

Centril commented 6 years ago

Algebraic effects in Idris: https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf