Quick Theory Exploration for Algebraic Data Types via Program Transformations.

Gidon Ernst, Grigory Fedyukovich

Browse the full IFM paper archive.