Dragana Milovančević and Viktor Kunčak. Proving and disproving equivalence of functional programming assignments. In ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2023.

[ bib ] Back