Hobbits for Haskell: a library for higher-order encodings in functional programming languages.

Edwin M. Westbrook, Nicolas Frisby, Paul Brauner

Browse the full HASKELL paper archive.