Safely adding computational effects to a multi-stage language has been an open problem. In previous work, a closed type constructor was used to provide a safe mechanism for executing dynamically generated code. This paper proposes a general notion of closed type as a simple approach to safely introducing computational effects into multi- stage languages. We demonstrate this approach formally in a core language called Mini-MLBNref. This core language combines safely multi-stage constructs and ML-style references. In addition to incorporating state, Mini-MLBNref also embodies a number of technical improvements over previously proposed core languages for multi-stage programming.
CITATION STYLE
Calcagno, C., Moggi, E., & Taha, W. (2000). Closed types as a simple approach to safe imperative multi-stage programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1853, pp. 25–36). Springer Verlag. https://doi.org/10.1007/3-540-45022-x_4
Mendeley helps you to discover research relevant for your work.