Theorems for Free. in: Functional Programming Languages and Computer Architecture, FPCA '89 (0)

by P Wadler
Venue:Conference Proceedings Fourth International Conference