Author:
DANVY OLIVIER,RHIGER MORTEN,ROSE KRISTOFFER H.
Abstract
In higher-order abstract syntax, the variables and bindings of an object language are
represented by variables and bindings of a meta-language. Let us consider the simply
typed λ-calculus as object language and Haskell as meta-language. For concreteness,
we also throw in integers and addition, but only in this section.
Publisher
Cambridge University Press (CUP)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
2. Simple Noninterference by Normalization;Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security - PLAS'19;2019
3. Painless programming combining reduction and search;ACM SIGPLAN Notices;2012-10-15
4. Painless programming combining reduction and search;Proceedings of the 17th ACM SIGPLAN international conference on Functional programming;2012-09-09
5. A Compiled Implementation of Normalization by Evaluation;Lecture Notes in Computer Science;2008