Parametricity and Proving Free Theorems for Functional-Logic Languages.

Stefan Mehner, Daniel Seidel, Lutz Straburger, Janis Voigtlnder

Browse the full PPDP paper archive.