Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† - Logic for Computable Functions - Document - PDFSEARCH.IO

First Page	Meta Content
	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Document Date: 2014-12-08 09:42:38 Open Document File Size: 304,47 KB Share Result on Facebook

Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel†Add to Reading List