"Hackett: a metaprogrammable Haskell" by Alexis King

"Building Haskell Programs with Fused Effects" by Patrick Thomson

(sixth RacketCon): Alexis King -- Languages in an Afternoon

Alexis King - Hackett: a metaprogrammable Haskell

"Type-Driven Program Synthesis" by Nadia Polikarpova

George Wilson - The Extended Functor Family

"Categories for the Working Hacker" by Philip Wadler

(seventh RacketCon): Alexis King -- Hackett, a Haskell for Racketeers

C Programmer Learns Haskell and DOESN'T Cry? (Coding in a Random Language Every Day)

Haskell is Not For Production and Other Tales

Alexis King - “Effects for Less” @ ZuriHac 2020

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

"Let's Build a Hygienic Macro Expander" by Matthew Flatt

"A Little Taste of Dependent Types" by David Christiansen

"Propositions as Types" by Philip Wadler

@lexi_lambda: How to make a Haskell program 5x faster with 16 lines of code

"Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)

"Dependent Types in Haskell" by Stephanie Weirich

Your First Haskell Web App With WAI And Warp by Michael Snoyman #FnConf19

Alexis King on "Delimited Continuations, Demystified" @ZuriHac2023

Category Theory for the Working Hacker by Philip Wadler