Stefan Mehner, Daniel Seidel, Lutz Strassburger, Janis Voigtländer. Parametricity and Proving Free Theorems for Functional-Logic Languages.
Principles and Practice of Declarative Programming, PPDP 2014, Sep 2014, Canterbury, United Kingdom.
⟨10.1145/2643135.2643147⟩.
⟨hal-01092357⟩