u/ysangkokin r/haskell • Recommends
A predicate transformer semantics for effects (Functional Pearl)
0:00 / 0:00
#haskell#predicatetransformers#algebraiceffects
A predicate transformer semantics for effects (Functional Pearl)
ACM SIGPLAN
11K subscribers • 53 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
782 views6 years ago1 recommendation
Programming languagesComputer scienceFunctional programmingComputation and complexity
An explanation of how predicate transformers can provide a semantics for algebraic effects in functional programming.
The uploader added no description.Why it's here
1 person recommends thisWhat people say. Recommended as an insightful functional pearl on algebraic effects and predicate transformers.