Science of Computer Programming · 1991 · 303 citations · 34 references
ComputingComputer ScienceProgramming LanguagesSoftware EngineeringTheory Of ComputationAbstract InterpretationAbstract Syntax TreesProgramming Language DesignSpecification LanguagesType CheckingType SystemsAbstract SemanticsCollecting SemanticsComputational ExpressivenessExpressivenessMonadic Semantics
34
A theory of type polymorphism in programming
Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text
A formulation of the simple theory of types
Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations
Call-by-name, call-by-value and the λ-calculus
Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations
LCF considered as a programming language
Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations