#PLSL

ACP Section

@acp.mastodon.acm.org.ap.brid.gy

2 weeks ago

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

Stefano Volpe :spinny_fox:

@foxy.blahaj.zone.ap.brid.gy

3 weeks ago

PLSL Programming Languages, Semantics, Logic reading group at the University of Southern Denmark

**Q:** Is @acp@mastodon.acm.org's #PLSL reading group associated with PSSL, the Peripatetic Seminar on Sheaves and Logic happening next month?

**A:** No, but we are not the ones outsourcing web hosting to google sites, so we won't be the ones backing down first

ACP Section

@acp.mastodon.acm.org.ap.brid.gy

1 month ago

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 […]

ACP Section

@acp.mastodon.acm.org.ap.brid.gy

4 months ago

The PhD students of our section just started PLSL (/ˈpləs-əl/, like the Pokémon!), the reading group on Programming Languages, Semantics, and Logic! Read more on the "About" page of the PLSL website (RSS and ICAL available!).

https://plsl.acp.sdu.dk/about

From 13 to 14 on December 1, sections […]