Danvy, O. (1998) “A Simple Solution to Type Specialization”, BRICS Report Series, 5(1). doi: 10.7146/brics.v5i1.19275.