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