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]

Authors

Edwin M. Westbrook

This author has not been identified. Look up 'Edwin M. Westbrook' in Google

Nicolas Frisby

This author has not been identified. Look up 'Nicolas Frisby' in Google

Paul Brauner

This author has not been identified. Look up 'Paul Brauner' in Google