Login / Signup

Proving and Disproving Equivalence of Functional Programming Assignments.

Dragana MilovancevicViktor Kuncak
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • programming assignments
  • automatic assessment
  • grounded theory
  • success or failure
  • introductory programming