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 know no subject more elevating, more amazing, more ready to the poetical enthusiasm, the philosophical reflection, and the moral sentiment than the works of nature. Where can we meet such variety, such beauty, such magnificence?”
—James Thomson (1700–1748)
“Every man is in a state of conflict, owing to his attempt to reconcile himself and his relationship with life to his conception of harmony. This conflict makes his soul a battlefield, where the forces that wish this reconciliation fight those that do not and reject the alternative solutions they offer. Works of art are attempts to fight out this conflict in the imaginative world.”
—Rebecca West (1892–1983)
“...A shadow now occasionally crossed my simple, sanguine, and life enjoying mind, a notion that I was never really going to accomplish those powerful literary works which would blow a noble trumpet to social generosity and noblesse oblige before the world. What? should I find myself always planning and never achieving ... a richly complicated and yet firmly unified novel?”
—Sarah N. Cleghorn (1876–1959)