Date: 01 Jun 2001

Multi-stage Imperative Languages: A Conservative Extension Result

Download Book (3,715 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.
Download Chapter (224 KB)


This paper extends the recent work [CMT00] on the opera- tional semantics and type system for a core language, called MiniMLBNref BN which exploits the notion of closed type (see also [MTBS99]) to safely combine imperative and multi-stage programming. The main novelties are the identification of a larger set of closed types and the addition of a binder for useless variables. The resulting language is a conservative extension of MiniMLref, a simple imperative subset of SML.