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:
“Men seem anxious to accomplish an orderly retreat through the centuries, earnestly rebuilding the works behind them, as they are battered down by the encroachments of time; but while they loiter, they and their works both fall prey to the arch enemy.”
—Henry David Thoreau (1817–1862)
“The subterranean miner that works in us all, how can one tell whither leads his shaft by the ever shifting, muffled sound of his pick?”
—Herman Melville (1819–1891)
“We thus worked our way up this river, gradually adjusting our thoughts to novelties, beholding from its placid bosom a new nature and new works of men, and, as it were with increasing confidence, finding nature still habitable, genial, and propitious to us; not following any beaten path, but the windings of the river, as ever the nearest way for us. Fortunately, we had no business in this country.”
—Henry David Thoreau (1817–1862)