Meta-programming through typeful code representation
From MaRDI portal
Publication:5261282
DOI10.1145/944705.944730zbMath1315.68038MaRDI QIDQ5261282
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
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items