Stefan Holdermans, Jurriaan Hage. On the rôle of minimal typing derivations in type-driven program transformation. In Claus Brabrand, Pierre-Etienne Moreau, editors, Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. pages 2, ACM, 2010. [doi]
Abstract is missing.