Test interactive Haskell examples

A GHC plugin for rust style impl with -XOverloadedRecordDot

A modern proof language

Strongly-typed System F in Haskell

ZuriHac 2020 GHC typechecker plugins project

Symbol manipulation

Talks on category-parametric programming.

Higher-Kinded Data - generic hoist, fold, traversals, and zips for types parameterized by (*->*)

Automatic Differentiation

Pagination in yesod applications

A Dependently Typed Functional Programming Language

A curated list of awesome things related to functional programming in Python.

A friendly effect system for Haskell

Material for talk `Coding Eff in Anger`

Fake dependent types in Haskell using singletons

The Eta Programming Language, a dialect of Haskell on the JVM