Meta-programming through typeful code representation

DOI10.1145/944705.944730zbMATH Open1315.68038OpenAlexW2120146214MaRDI QIDQ5261282FDOQ5261282

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

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

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)

Cited In (8)

• Meta-programming through typeful code representation
• Safe metaclass composition using mixin-based inheritance
• Title not available (Why is that?)
• Type-specialized staged programming with process separation
• Why untyped nonground metaprogramming is not (much of) a problem
• A meta-language for typed object-oriented languages
• A dependently typed multi-stage calculus
• Closed types for a safe imperative MetaML

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)