Higher-order functions considered unnecessary for higher-order programming (1990)

by J Goguen
Venue:Research Topics in Functional Programming