A systematic study of models of abstract data types

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

Abstraction mechanisms in CLU

Barbara Liskov, Alan Snyder, Russell R. Atkinson et al. · Communications of the ACM · 1977 · 772 citations · Full text

Computing, Computer Science, Hardware-software Co-design +7

The algebraic specification of abstract data types

John V. Guttag, J. J. Horning · Acta Informatica · 1978 · 521 citations

Computing, Computer Science, Formal Methods +13

Fully abstract models of typed λ-calculi

Robin Milner · Theoretical Computer Science · 1977 · 477 citations · Full text

Computing, Computer Science, Programming Languages +13

On sentences which are true of direct unions of algebras

Alfred Horn · Journal of Symbolic Logic · 1951 · 368 citations

Natural Sciences, Mathematics, Algebra +5