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

Edwin M. Westbrook, Nicolas Frisby, Paul Brauner. Hobbits for Haskell: a library for higher-order encodings in functional programming languages. In Koen Claessen, editor, Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011. pages 35-46, ACM, 2011. [doi]

Abstract

Abstract is missing.