A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs.

Published in: CoRR (2017)

Keyphrases

functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
high level
natural language
logic programming
databases
database
abstract data types