O. Danvy, “A Simple Solution to Type Specialization”, BRICS, bd. 5, nr. 1, jan. 1998.