Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach.

Yuting Wang Gopalan Nadathur

Published in: CoRR (2015)

Keyphrases

functional programs
higher order
term rewriting systems
lazy evaluation
logic programs
high level
functional language
stochastic grammar
pairwise
functional programming
data structure
object oriented
logic programming