collaborators

1 paper

cs.PL2024

Mica: Automated Differential Testing for OCaml Modules

Ernest Ng, Harrison Goldstein, Benjamin C. Pierce

Suppose we are given two OCaml modules implementing the same signature. How do we check that they are observationally equivalent -- that is, that they behave the same on all inputs…