Hasochism: the pleasure and pain of dependently typed haskell programming.

Sam Lindley, Conor McBride

Browse the full HASKELL paper archive.