Login / Signup

Program equivalence for assisted grading of functional programs.

Joshua CluneVijay RamamurthyRuben MartinsUmut A. Acar
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • functional language
  • stochastic grammar
  • functional programming
  • logic programming
  • databases
  • programming course