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

Edwin M. Westbrook, Nicolas Frisby, Paul Brauner (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics