A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.

Yuting Wang Gopalan Nadathur

Published in: ESOP (2016)

Keyphrases

functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
high level
functional language
pairwise
stochastic grammar
natural language
databases
relational databases
cost model
functional programming