Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

Rust for Scala and Haskell developers

pGenie – SQL-first code generator for PostgreSQL (Haskell, Rust, Java)

Rust for Scala and Haskell Developers: A Surprisingly Familiar Journey by Pawel Szulc

A Couple Million Lines of Haskell: Production Engineering at Mercury

Category Theory Illustrated – Types

Good Haskell Libraries

Parametricity, or Comptime is Bonkers

ImplicitCAD – Programmatic CAD in Haskell

Learn Haskell in Two Weeks