Theorems for free! (1989)

Cached

Download Links

by Philip Wadler
Venue:FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Citations:326 - 6 self

Document Versions

Theorems for free! –Philip Wadler — 1989 — FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE