On Cross-Stage Persistence in Multi-Stage Programming

DOI10.1007/978-3-319-07151-0_7zbMath1416.68037OpenAlexW1941632313MaRDI QIDQ5170704

Atsushi Igarashi, Yuichiro Hanada

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• MetaOCaml

This page was built for publication: On Cross-Stage Persistence in Multi-Stage Programming