Multi-stage imperative languages: A conservative extension result (2000) [5 citations — 4 self]
Download:
|
|
by Cristiano Calcagno, Eugenio Moggi
In [41] (2000
http://www.disi.unige.it/person/MoggiE/ftp/saig00.ps.gz
Add To MetaCart
Abstract:
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniML BN ref, which exploits the notion of closed type (see also [MTBS99]) to safely combine imperative and multi-stage programming. The main novelties are the identication of a larger set of closed types and the addition of a binder for useless variables. The resulting language is a conservative extension of MiniML ref, a simple imperative subset of SML. 1
Citations
| 176 | A modal analysis of staged computation – Davies, Pfenning - 1996 |
| 88 | A Simple Applicative Language: MINI-ML – Clement - 1986 |
| 81 | A temporal-logic approach to binding-time analysis – Davies - 1996 |
| 67 | Multi-Stage Programming: Its Theory and Applications – Taha - 1999 |
| 37 | Multi-stage programming: Axiomatization and type-safety – Taha, Benaissa, et al. - 1998 |
| 31 | An idealized MetaML: Simpler, and more expressive – Moggi, Taha, et al. - 1999 |
| 26 | Logical modalities and multi-stage programming – Benaissa, Moggi, et al. - 1999 |
| 17 | Closed types as a simple approach to safe imperative multi-stage programming – Calcagno, Moggi, et al. |
| 3 | Explicit Substitutions and Programming Languages – Levy, Maranget - 1999 |
