Language embeddings that preserve staging and safety

MaRDI QIDQ3370741zbMATH OpenFDO

Authors Todd L. Veldhuizen

Publication date 8 February 2006

zbMATH Keywords

extensible languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Type-specialized staged programming with process separation
• Reasoning about multi-stage programs
• Folding domain-specific languages: deep and shallow embeddings (functional pearl)
• A modal analysis of staged computation
• Reasoning about multi-stage programs

Cited in

(4)

• Combining deep and shallow embedding of domain-specific languages
• Safety in grammatical protection systems
• Folding domain-specific languages: deep and shallow embeddings (functional pearl)
• Deep embedding with class

This page was built for publication: Language embeddings that preserve staging and safety

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370741)