Danvy, O. A Simple Solution to Type Specialization. BRICS 1998, 5.