Using circular programs for higher-order syntax

DOI10.1145/2500365.2500614zbMath1323.68093OpenAlexW2095633838MaRDI QIDQ5244805

Koen Claessen, Emil Axelsson

Publication date: 30 March 2015

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

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

zbMATH Keywords

embedded languageshigher-order syntaxcircular programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Combining deep and shallow embedding of domain-specific languages

This page was built for publication: Using circular programs for higher-order syntax