Using Timbuk to verify functional programs

We performed two series of experiments:

Experiments on higher-order functional programs with general equation generation (FoSSaCS 2018).
Experiments on first-order and higher-order functional programs with ground equation generation for contructor symbols (FSCD 2018).