Theorems for Free for Free: Parametricity, With and Without Types

Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Theorems for Free for Free: Parametricity, With and Without Types'. Together they form a unique fingerprint.

Computer Science

Mathematics