Counter-example complete verification for higher-order functions.

Nicolas Voirol, Etienne Kneuss, Viktor Kuncak

Browse the full PLDI paper archive.