O. Danvy, “A Simple Solution to Type Specialization”, BRICS, vol. 5, no. 1, Jan. 1998.