A pragmatic reconstruction of λProlog

Linear logic

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

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

Computing, Computer Science, Knowledge Representation +9

Ellipsis and higher-order unification

Mary Dalrymple, Stuart M. Shieber, Fernando C. N. Pereira · Linguistics and Philosophy · 1991 · 576 citations · Full text

Language Studies, Computer Science, Linguistics +7