Meta-programming through typeful code representation

DOI10.1145/944705.944730MaRDI QIDQ5261282zbMATH OpenOpenAlexFDO

Authors Chiyan Chen, Hongwei Xi

Publication date 2 July 2015

Published in Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/944705.944730

zbMATH Keywords

meta-programmingmulti-level staged programmingtypeful code representation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Meta-programming through typeful code representation
• On the correctness of template metaprograms
• Meta-programming with names and necessity
• Run-time manipulation of programs in a statically-typed language
• Directly reflective meta-programming

Cited in

(9)

• A meta-language for typed object-oriented languages
• Safe metaclass composition using mixin-based inheritance
• Type-specialized staged programming with process separation
• Run-time manipulation of programs in a statically-typed language
• Why untyped nonground metaprogramming is not (much of) a problem
• Closed types for a safe imperative MetaML
• scientific article; zbMATH DE number 5033864 (Why is no real title available?)
• Meta-programming through typeful code representation
• A dependently typed multi-stage calculus

This page was built for publication: Meta-programming through typeful code representation

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