Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida, Kohei Honda, Martin Berger

Browse the full FOSSACS paper archive.