Login / Signup
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