2026-02-02: Guillaume Allais (MSP)

Mon, 2 Feb 2026 11:41:37 +0000

Guillaume Allais (MSP)

Trees for Concurrency

Abstract

Looking at Claessen's 1999 functional pearl "A poor man's concurrency monad", we will see how we can simulate a limited form of concurrency in purely functional terms. We will then go on to see how to modify the setup to return a value from that computation as well as introduce join points.

2026-02-02 13:00:00 UTC
LT209