GHC compiler plugins in the wild: typing Java

Encode state transitions in types using linear types

Diversity through inline code

Typing Nix

Linear types make performance more predictable

A new ecosystem for Haskell: the JVM

Programming R at native speed using Haskell

Stack and Nix = portable reproducible builds

Programming R at native speed using Haskell