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]
No references recorded for this publication.
No citations of this publication recorded.