On the algebraic structure of declarative programming languages

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

Computing, Computer Science, Mathematics +10

Systematic design of program analysis frameworks

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

Computing, Computer Engineering, Computer Science +15