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:
“I look on trade and every mechanical craft as education also. But let me discriminate what is precious herein. There is in each of these works an act of invention, an intellectual step, or short series of steps taken; that act or step is the spiritual act; all the rest is mere repetition of the same a thousand times.”
—Ralph Waldo Emerson (1803–1882)
“My plan of instruction is extremely simple and limited. They learn, on week-days, such coarse works as may fit them for servants. I allow of no writing for the poor. My object is not to make fanatics, but to train up the lower classes in habits of industry and piety.”
—Hannah More (1745–1833)