31:09

Haskell 2021 - Chesskell: A Two-Player Game at the Type Level

ACM SIGPLAN

28:17

Haskell 2021 - Express: applications of dynamically typed Haskell expressions

ACM SIGPLAN

34:21

Haskell 2021 - Haskell⁻¹: Automatic Function Inversion in Haskell

ACM SIGPLAN

1:09:24

Haskell 2021 - Why Functional Programming with Linear Types Matters

ACM SIGPLAN

28:00

Haskell 2021 - Design Patterns for Parser Combinators (Functional Pearl)

ACM SIGPLAN

33:42

Haskell 2021 - Graded Monads and Type-Level Programming for Dependence Analysis

ACM SIGPLAN

35:27

Haskell 2021 - Practical Normalization by Evaluation for EDSLs

ACM SIGPLAN

13:50

Haskell 2021 - Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation

ACM SIGPLAN

1:03:54

Haskell 2021 - Linear Haskell, Today and Tomorrow

ACM SIGPLAN

42:20

Haskell 2021 - Evaluating Linear Functions to Symmetric Monoidal Categories

ACM SIGPLAN

7:14:46

Haskell Symposium 2021 - Full Workshop (2 days)

ACM SIGPLAN