Language embeddings that preserve staging and safety

zbMATH Open1087.68019MaRDI QIDQ3370741FDOQ3370741

Authors: Todd L. Veldhuizen 

Publication date: 8 February 2006

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

zbMATH Keywords

extensible languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)