[1]
Danvy, O. 1998. Formatting Strings in ML. BRICS Report Series. 5, 5 (Mar. 1998). DOI:https://doi.org/10.7146/brics.v5i5.21679.