Monadic Warsaw #26

Welcome to the next Monadic Warsaw! This time around we will be hosting two speakers:

Alexey Kuleshevich - Phantom Types as a Design Pattern
This will be a light introduction into phantom types and a deep dive into a design pattern that heavily relies on them.
We will use a simplified version of a Cardano Cryptocurrency Ledger implementation as a use case for realizing the
power and understanding the pitfalls of this design pattern.

Marcin Szamotulski - Partial Order Reduction
In this talk we will present IOSim and we will give a gentle presentation to IOSim's partial order reduction algorithm.

See you there!