Multi-stage programming: axiomatization and type safety
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 918-929
- https://doi.org/10.1007/bfb0055113
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A categorical account of two-level languagesElectronic Notes in Theoretical Computer Science, 1997
- An Automatic Program Generator for Multi-Level SpecializationHigher-Order and Symbolic Computation, 1997
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- State in HaskellHigher-Order and Symbolic Computation, 1995
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Two-Level Functional LanguagesPublished by Cambridge University Press (CUP) ,1992
- The typed λ-calculus with first-class processesPublished by Springer Nature ,1989