Final algebra semantics and data type extensions

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Computing, Computer Science, Formal Methods +9

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

Computing, Computer Science, Compilers +10

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. William Lawvere · Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · Full text

Natural Sciences, Computer Science, Mathematics +12

Proof of correctness of data representations

C. A. R. Hoare · Acta Informatica · 1972 · 967 citations

Computing, Computer Science, Databases +11

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

Computing, Computer Science, Algebra +12