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

In this session, we explore algebraic effects and handlers.

In this session, we relate internal mobility to agent-passing calculi.

This session inaugurates the first cycle of PLSL meetings, which is dedicated to (higher-order) concurrency theory.