Theorems for free! (1989)
by
Philip Wadler
| Venue: | FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE |
| Citations: | 292 - 6 self |
Document Versions
| Theorems for free! –Philip Wadler — 1989 — FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE |
