Meta-programming through typeful code representation

DOI10.1145/944705.944730zbMath1315.68038OpenAlexW2120146214MaRDI QIDQ5261282

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)

Related Items (1)

Type-specialized staged programming with process separation

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