Closed types for a safe imperative MetaML (Q4408681)
From MaRDI portal
scientific article; zbMATH DE number 1941633
Language | Label | Description | Also known as |
---|---|---|---|
English | Closed types for a safe imperative MetaML |
scientific article; zbMATH DE number 1941633 |
Statements
Closed types for a safe imperative MetaML (English)
0 references
2003
0 references
multi-level partial evaluation
0 references
multi-stage programming
0 references