Notions of Computation Determine Monads In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.

From 14:30 to 15:30 on Wednesday, March 18, the PLSL reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.

plsl.acp.sdu.dk/posts/2026-03-18-notions...

#PLSL #algebraicEffects #effectSystems #monads

Original post on mastodon.acm.org

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

plsl.acp.sdu.dk/posts/2026-02-17-an-intr...

#PLSL #algebraicEffects #effectSystems #semantics […]

#Functional programming thrives on effect management, but how should we structure our code? At Lambda Days 2025 Hécate (Scrive AB) will walk us through the evolution of #Haskell’s #EffectSystems and present the case for semantic effect tracking in industrial software.