C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Program Equivalence for Assisted Grading of Functional Programs (Extended Version).
Joshua Clune
Vijay Ramamurthy
Ruben Martins
Umut A. Acar
Published in:
CoRR (2020)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
databases
data mining