Works
- 1975: "Call-by-Name, Call-by Value and the Lambda Calculus".
- A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
- Program Verification and Semantics: Further Work (2004)
Read more about this topic: Gordon Plotkin
Famous quotes containing the word works:
“The slightest living thing answers a deeper need than all the works of man because it is transitory. It has an evanescence of life, or growth, or change: it passes, as we do, from one stage to the another, from darkness to darkness, into a distance where we, too, vanish out of sight. A work of art is static; and its value and its weakness lie in being so: but the tuft of grass and the clouds above it belong to our own travelling brotherhood.”
—Freya Stark (b. 18931993)
“Tis too plain that with the material power the moral progress has not kept pace. It appears that we have not made a judicious investment. Works and days were offered us, and we took works.”
—Ralph Waldo Emerson (18031882)
“His character as one of the fathers of the English language would alone make his works important, even those which have little poetical merit. He was as simple as Wordsworth in preferring his homely but vigorous Saxon tongue, when it was neglected by the court, and had not yet attained to the dignity of a literature, and rendered a similar service to his country to that which Dante rendered to Italy.”
—Henry David Thoreau (18171862)