Implicitly heterogeneous multi-stage programming

DOI10.1007/s00354-007-0020-xzbMath1161.68379OpenAlexW2016464602MaRDI QIDQ2478589

Kedar Swadi, Emir Pasalic, Walid Taha, Jason Eckhardt, Roumen Kaiabachev

Publication date: 28 March 2008

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00354-007-0020-x

zbMATH Keywords

semantics-based multi-stage programming language design

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Related Items

Generating C. System description, Implicitly heterogeneous multi-stage programming, Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

Uses Software

• FFTW
• MetaOCaml
• VCODE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• DyC: An expressive annotation-directed dynamic compiler for C
• MetaML and multi-stage programming with explicit annotations
• Implicitly heterogeneous multi-stage programming
• Meta-programming With Built-in Type Equality
• Environment classifiers
• Guarded recursive datatype constructors
• Tagless staged interpreters for typed languages
• Programming Languages and Systems