Functional unparsing

DOI10.1017/S0956796898003104MaRDI QIDQ4240154zbMATH OpenOpenAlexFDO

Authors Olivier Danvy

Publication date 3 May 1999

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796898003104

zbMATH Keywords

string-formatting function

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Functional un\(|\)unparsing
• Theorem Proving in Higher Order Logics
• On typing delimited continuations: Three new solutions to the printf problem
• Do we need dependent types?

Cited in

(9)

• Encoding types in ML-like languages
• Functional un\(|\)unparsing
• Shifting the stage. Staging with delimited control
• Type-safe pattern combinators
• An unrealistic parser
• Constructing format-preserving printing from syntax-directed definitions
• Theorem Proving in Higher Order Logics
• Polymorphic typed defunctionalization and concretization
• On typing delimited continuations: Three new solutions to the printf problem

This page was built for publication: Functional unparsing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4240154)