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

See you there!