Theorems for free! (1989)

Cached

Download Links

by Philip Wadler
Venue:FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Citations:362 - 8 self