Higher-order Type-level Programming in Haskell

Demystifying Differentiable Programming - Shift/Reset the Penultimate Backpropagator

The Haskell Unfolder Episode 14: higher-kinded types

The Dialectics of Type-Level Programming by Aaron Levin

In Haskell, less is more

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

@rae: All about `deriving` in GHC

Interior Modeling 3ds Max | Beginner Friendly | DWG

Lenses, Folds, and Traversals

Think Fast, Talk Smart: Communication Techniques

[Haskell'23] The Evolution of Effects

Your code can be beautiful AND fast (Higher order functions)

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

The Oldest Unsolved Problem in Math

Idris 2: Quantitative Types in Action - Edwin Brady

⚡ Type Level Arithmetic in Haskell - Felix B

@rae: How to choose between Typeable, Data, and Generic in Haskell

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

Haskell for Imperative Programmers #6 - Higher Order Functions & Anonymous Functions

Making Music with Haskell From Scratch

Euruko2009 / Lightning Talks 02 / by ...