Florian Haftmann. From higher-order logic to Haskell: there and back again. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 155-158, ACM, 2010. [doi]
Abstract is missing.