Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A temporal-logic approach to binding-time analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivalACM SIGPLAN Notices, 1999
- An Idealized MetaML: Simpler, and More ExpressiveLecture Notes in Computer Science, 1999
- A computational formalization for partial evaluationMathematical Structures in Computer Science, 1997
- The Definition of Standard MLPublished by MIT Press ,1997
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- Fast binding-time analysis for multi-level specializationLecture Notes in Computer Science, 1996
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- A simple applicative language: mini-MLPublished by Association for Computing Machinery (ACM) ,1986
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975