Secrets of the GHC Typechecker in 100 Type Declarations - Simon Peyton Jones
Write a GHC extension in 30 minutes by Richard Eisenberg
Plait Inference 10 - typecheck
@lexi_lambda: GHC Simplifier basics
Type inference as constraint solving: how GHC’s type inference engine actually works - SPJ
@lexi_lambda: The GHC optimization pipeline
HIW 2021 - Full Workshop Video
@rae: UndecidableInstances can actually cause a runtime loop. Eek!
The Coolest Thing I Ever Built
Into the Core Squeezing Haskell into nine Constructors - Simon Peyton Jones | ZuriHac 2022
Parsing in Haskell with flatparse
GHC's Renamer - Sam Derbyshire - 2023 GHC Contributor's Workshop
Linear Types – Constantine Ter-Matevosian
Hashing Modulo Alpha Equivalence • Simon Peyton Jones • YOW! 2021
Haskell Language Server - Zubin Duggal - 2023 GHC Contributor's Workshop
GHC Core Optimisations - Sebastian Graf - 2023 GHC Contributor's Workshop
Workshop on "Lazy Evaluation" by Andres Löh @ZuriHac2023
1.2 An overview of Haskell
Developing a Monadic Type Checker for an Object-Oriented Language by Kiko Fernandez Reyes
Staging with Class: A Specification for Typed Template Haskell • Ningning Xie • YOW! 2022