Meta-programming with names and necessity
From MaRDI portal
Publication:2949207
DOI10.1145/581478.581498zbMath1322.68045MaRDI QIDQ2949207
Publication date: 7 October 2015
Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/581478.581498
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
Related Items
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism, Directly reflective meta-programming, On the dynamic extent of delimited continuations, Type-specialized staged programming with process separation, Programming Languages For Interactive Computing, Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages