Tony Finch's link log

• 2014-11-18: Relatively complete counterexamples for higher-order programs: automatically find erroneous inputs. (long) (short) (atom) (wayback machine)