Falsify: Hypothesis-Inspired Shrinking for Haskell (2023)

Choreographing a dance with the GHC specializer (Part 1)

When "blocked indefinitely" is not indefinite

Calling Purgatory from Heaven: Binding to Rust in Haskell

Sharing, Space Leaks, and Conduit and friends (2016)

large-anon: Practical scalable anonymous records for Haskell

GHC activities December 2021–January 2022

The new GHC diagnostic infrastructure

Understanding Memory Fragmentation in Haskell

Implementing a GHC Plugin for Liquid Haskell

GHC activities report: June–July 2020

Fix-ing regular expressions

Using Template Haskell to generate static data

Eventful GHC

Low-latency garbage collector merged for GHC 8.10

An in-depth look at quickcheck-state-machine

Semi-Formal Development: The Cardano Wallet

Objects with special collection routines in GHC's GC

Object Oriented Programming in Haskell

Visualizing lazy evaluation

The Haskell Consultants: Binary instances for GADTs (or: RTTI in Haskell)

Efficient Amortised and Real-Time Queues in Haskell

Implementing a minimal version of haskell-servant

Fixing foldl (2014)

Communication Patterns in Cloud Haskell

Monads: From Web 2.0 to Hardware Drivers

How we might abolish Cabal Hell, part 1

Haskell performance profiling with ghc-events-analyze