Danvy, O. Formatting Strings in ML. BRICS 1998, 5.