Functional un\(|\)unparsing
From MaRDI portal
Publication:1929354
DOI10.1007/s10990-012-9087-2zbMath1256.68029MaRDI QIDQ1929354
Kenichi Asai, Oleg Kiselyov, Chung-Chieh Shan
Publication date: 8 January 2013
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-012-9087-2
functional programming; program derivation; continuations; delimited control; typed printf; typed scanf