A safe approach to parallel combinator reduction

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Software Maintenance, Program Checking, Engineering +23

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 482 citations

Engineering, Semantics, Syntax +16

Strictness analysis for higher-order functions

Geoffrey Burn, Chris Hankin, Samson Abramsky · Science of Computer Programming · 1986 · 170 citations

Engineering, Generalized Function, Formal Methods +4

Another algorithm for bracket abstraction

David A. Turner · Journal of Symbolic Logic · 1979 · 116 citations

Mathematical Programming, Engineering, Generic Programming +13

Director strings as combinators

Richard Kennaway, Ronan Sleep · ACM Transactions on Programming Languages and Systems · 1988 · 40 citations · Full text

Engineering, Education, Dsc Normal Form +21