ACM SIGPLAN Notices · 1992 · 1K citations · 13 references
ComputingComputer ScienceCombinatoricsLogicProgramming LanguagesDeductive ReasoningLogic ProgrammingPredicate LogicType Systems
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the most careful and competent logicians on the contemporary scene, we regard this as evidence that the subject is refractory. Thus fullness of exposition is necessory for accurary; and excessive condensation would be false economy here, even more than it is ordinarily."
13
Can programming be liberated from the von Neumann style?
John Backus · Communications of the ACM · 1978 · 2.6K citations · Full text
Principal type-schemes for functional programs
Robin Milner · 1982 · 1.1K citations
How to make ad-hoc polymorphism less ad hoc
Philip Wadler, Stephen Blott · 1989 · 770 citations · Full text
The next 700 programming languages
P. J. Landin · Communications of the ACM · 1966 · 581 citations · Full text