John W. Backus
According to our database1, John W. Backus authored at least 13 papers between 1954 and 1998.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Mathematical Foundations of Software Development, 1985
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions.
Proceedings of the Formalization of Programming Concepts, 1981
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981
Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs.
Commun. ACM, 1978
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
Proceedings of the Information Processing, 1959
Proceedings of the Papers presented at the 1957 western joint computer conference: Techniques for reliability, 1957