Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher. From Monomorphic to Polymorphic Well-Typings and Beyond. In Michael Hanus, editor, Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Volume 5438 of Lecture Notes in Computer Science, pages 152-167, Springer, 2008. [doi]
Abstract is missing.