Functional Unparsing
Olivier Danvy May 1998 |
Abstract:A string-formatting function such as printf in C seemingly requires dependent types, because its control string determines the rest of its arguments. Examples:
Note:This report supersedes the earlier report BRICS RS-98-5 with title Formatting Strings in ML. Available as PostScript, PDF, DVI. |