11:58

Haskell Tips: FP Refactoring Recursion with Writer + State

17:04

@rae: An introduction to Haskell's kinds

21:28

Higher-order Type-level Programming in Haskell

48:54

Adventures in Building Reliable Distributed Systems with Liquid Haskell (FLOPS 2022 keynote talk)

28:38

[ICFP'23] Explicit Refinement Types

21:24

Linear Types – Constantine Ter-Matevosian

29:48

Algebraic Data Types with Haskell

17:37

Immutable Data: Your Next Superpower | Let's talk about Scala 3