Functional Unparsing

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

    Abstract

    A string-formatting function such as printf in C seemingly requires dependent types, because its control string determines the rest of its arguments.

    We show how changing the representation of the control string makes it possible to program printf in ML (which does not allow dependent types). The result is well typed and perceptibly more efficient than the corresponding library functions in Standard ML of New Jersey and in Caml.
    Original languageEnglish
    Book seriesB R I C S Report Series
    IssueRS-98-12
    Number of pages7
    ISSN0909-0878
    Publication statusPublished - 1998

    Cite this