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

Search results