Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer. Parametricity and Proving Free Theorems for Functional-Logic Languages. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 19-30, ACM, 2014. [doi]