Theorems for free! Pages 347--359 of: Fpca '89: The fourth international conference on functional programming languages and computer architecture (1989)

by Philip Wadler