Gordon D. Plotkin

170 papers A* 35A 4B 26Journal 73Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Rational Lawvere Logic (Invited Paper). CSL Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2025	J	`jnl`	Handling the Selection Monad (Full Version). CoRR Gordon D. Plotkin, Ningning Xie
2025	J	`jnl`	Handling the Selection Monad. Proc. ACM Program. Lang. Gordon D. Plotkin, Ningning Xie
2025	J	`jnl`	Rod Burstall: In Memoriam. Formal Aspects Comput. J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2025	J	`jnl`	Rod Bustall: In Memoriam. CoRR J Strother Moore, Gordon D. Plotkin, David E. Rydeheard, Donald Sannella
2025	B	`conf`	Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. FoSSaCS Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2025	J	`jnl`	Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics. CoRR Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin
2025	J	`jnl`	Unraveling the iterative CHAD. CoRR Fernando Lucatelli Nunes, Gordon D. Plotkin, Matthijs Vákár
2024	J	`jnl`	Polynomial Lawvere Logic. CoRR Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2024	J	`jnl`	Sum and Tensor of Quantitative Effects. Log. Methods Comput. Sci. Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2023	J	`jnl`	Bidirectional Reactive Programming for Machine Learning. CoRR Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac
2023	B	`conf`	Propositional Logics for the Lawvere Quantale. MFPS Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2023	J	`jnl`	Smart Choices and the Selection Monad. Log. Methods Comput. Sci. Martín Abadi, Gordon D. Plotkin
2022	J	`jnl`	Recursion does not always help. CoRR Gordon D. Plotkin
2022	J	`jnl`	Sum and Tensor of Quantitative Effects. CoRR Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	A*	`conf`	Fixed-Points for Quantitative Equational Logics. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	J	`jnl`	Fixed-Points for Quantitative Equational Logics. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	A*	`conf`	Smart Choices and the Selection Monad. LICS Martín Abadi, Gordon D. Plotkin
2021	B	`conf`	Tensor of Quantitative Equational Theories. CALCO Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2020	B	`conf`	A Complete Equational Axiomatisation of Partial Differentiation. MFPS Gordon D. Plotkin
2020	J	`jnl`	A complete equational axiomatisation of partial differentiation. CoRR Gordon D. Plotkin
2020	J	`jnl`	A simple differentiable programming language. Proc. ACM Program. Lang. Martín Abadi, Gordon D. Plotkin
2020	—	`ch.`	Quantitative Equational Reasoning. Foundations of Probabilistic Programming Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2020	B	`conf`	Reverse Derivative Categories. CSL J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
2020	J	`jnl`	Smart Choices and the Selection Monad. CoRR Martín Abadi, Gordon D. Plotkin
2019	J	`jnl`	A Simple Differentiable Programming Language. CoRR Martín Abadi, Gordon D. Plotkin
2019	J	`jnl`	Chromar, a language of parameterised agents. Theor. Comput. Sci. Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
2019	J	`jnl`	Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
2019	J	`jnl`	Reverse derivative categories. CoRR J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
2018	J	`jnl`	Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
2018	A*	`conf`	An Algebraic Theory of Markov Processes. LICS Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	—	`conf`	Chromar, a Rule-based Language of Parameterised Objects. SASB Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
2018	J	`jnl`	Free complete Wasserstein algebras. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	J	`jnl`	Free complete Wasserstein algebras. Log. Methods Comput. Sci. Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	B	`conf`	Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. MFPS Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin
2018	J	`jnl`	On the Axiomatizability of Quantitative Algebras. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2017	J	`jnl`	Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi
2017	A*	`conf`	Dijkstra monads for free. POPL Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
2017	J	`jnl`	Mixed powerdomains for probability and nondeterminism. Log. Methods Comput. Sci. Klaus Keimel, Gordon D. Plotkin
2017	A*	`conf`	On the axiomatizability of quantitative algebras. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2016	B	`conf`	Dependent Types and Fibred Computational Effects. FoSSaCS Danel Ahman, Neil Ghani, Gordon D. Plotkin
2016	J	`jnl`	Dijkstra Monads for Free. CoRR Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
2016	—	`conf`	Interacting with Large Distributed Datasets Using Sketch. EGPGV@EuroVis Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni
2016	A*	`conf`	Quantitative Algebraic Reasoning. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2016	A*	`conf`	Scaling network verification using symmetry and surgery. POPL Gordon D. Plotkin, Nikolaj S. Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
2015	B	`conf`	Foundations of Differential Dataflow. FoSSaCS Martín Abadi, Frank McSherry, Gordon D. Plotkin
2014	J	`jnl`	Approximating Markov Processes by Averaging. J. ACM Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2014	J	`jnl`	Cartesian closed categories of separable Scott domains. Theor. Comput. Sci. Andrej Bauer, Gordon D. Plotkin, Dana S. Scott
2014	—	`conf`	Layout Randomization and Nondeterminism. Horizons of the Mind Martín Abadi, Jérémy Planul, Gordon D. Plotkin
2014	J	`jnl`	On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Informaticae Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
2013	—	`conf`	A Calculus of Chemical Systems. In Search of Elegance in the Theory and Practice of Computation Gordon D. Plotkin
2013	B	`conf`	Dedication. MFPS Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
2013	J	`jnl`	Handling Algebraic Effects. Log. Methods Comput. Sci. Gordon D. Plotkin, Matija Pretnar
2013	B	`conf`	Layout Randomization and Nondeterminism. MFPS Martín Abadi, Jérémy Planul, Gordon D. Plotkin
2013	J	`jnl`	Multi-level modelling via stochastic multi-level multiset rewriting. Math. Struct. Comput. Sci. Nicolas Oury, Gordon D. Plotkin
2013	—	`conf`	Partial Recursive Functions and Finality. Computation, Logic, Games, and Quantum Foundations Gordon D. Plotkin
2013	A	`conf`	The Compiler Forest. ESOP Mihai Budiu, Joel Galenson, Gordon D. Plotkin
2012	A*	`conf`	Algebraic foundations for effect-dependent optimisations. POPL Ohad Kammar, Gordon D. Plotkin
2012	B	`conf`	Concurrency and the Algebraic Theory of Effects - (Abstract). CONCUR Gordon D. Plotkin
2012	J	`jnl`	On Protection by Layout Randomization. ACM Trans. Inf. Syst. Secur. Martín Abadi, Gordon D. Plotkin
2011	—	`conf`	Coloured stochastic multilevel multiset rewriting. CMSB Nicolas Oury, Gordon D. Plotkin
2010	J	`jnl`	A Language for Biochemical Systems: Design and Formal Specification. Trans. Comp. Sys. Biology Michael Pedersen, Gordon D. Plotkin
2010	J	`jnl`	A Model of Cooperative Threads Log. Methods Comput. Sci. Martín Abadi, Gordon D. Plotkin
2010	J	`jnl`	Obituary: Robin Milner (1934-2010). Bull. EATCS Gordon D. Plotkin, Colin Stirling, Mads Tofte
2010	J	`jnl`	On CSP and the Algebraic Theory of Effects CoRR Rob J. van Glabbeek, Gordon D. Plotkin
2010	—	`ch.`	On CSP and the Algebraic Theory of Effects. Reflections on the Work of C. A. R. Hoare Rob J. van Glabbeek, Gordon D. Plotkin
2010	A	`conf`	On Protection by Layout Randomization. CSF Martín Abadi, Gordon D. Plotkin
2010	A*	`conf`	Robin Milner, a Craftsman of Tools for the Mind. LICS Gordon D. Plotkin
2009	A*	`conf`	A model of cooperative threads. POPL Martín Abadi, Gordon D. Plotkin
2009	B	`conf`	Adequacy for Infinitary Algebraic Effects (Abstract). CALCO Gordon D. Plotkin
2009	B	`conf`	Approximating Labelled Markov Processes Again! CALCO Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	—	`conf`	Approximating Markov Processes by Averaging. ICALP (2) Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	J	`jnl`	Configuration Structures, Event Structures and Petri Nets CoRR Rob J. van Glabbeek, Gordon D. Plotkin
2009	J	`jnl`	Configuration structures, event structures and Petri nets. Theor. Comput. Sci. Rob J. van Glabbeek, Gordon D. Plotkin
2009	A	`conf`	Handlers of Algebraic Effects. ESOP Gordon D. Plotkin, Matija Pretnar
2009	J	`jnl`	On the completeness of order-theoretic models of the lambda-calculus. Inf. Comput. Furio Honsell, Gordon D. Plotkin
2009	J	`jnl`	Predicate transformers for extended probability and non-determinism. Math. Struct. Comput. Sci. Klaus Keimel, Gordon D. Plotkin
2008	—	`conf`	A Language for Biochemical Systems. CMSB Michael Pedersen, Gordon D. Plotkin
2008	A*	`conf`	A Logic for Algebraic Effects. LICS Gordon D. Plotkin, Matija Pretnar
2008	—	`conf`	Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
2008	B	`conf`	Tensors of Comodels and Models for Operational Semantics. MFPS Gordon D. Plotkin, John Power
2007	J	`jnl`	Combining algebraic effects with continuations. Theor. Comput. Sci. Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
2006	J	`jnl`	A domain-theoretic Banach-Alaoglu theorem. Math. Struct. Comput. Sci. Gordon D. Plotkin
2006	J	`jnl`	Combining effects: Sum and tensor. Theor. Comput. Sci. Martin Hyland, Gordon D. Plotkin, John Power
2006	—	`conf`	Hennessy-Plotkin-Brookes Revisited. FSTTCS Gordon D. Plotkin
2006	—	`conf`	Some Varieties of Equational Logic. Essays Dedicated to Joseph A. Goguen Gordon D. Plotkin
2006	—	`ed.`	Transactions on Computational Systems Biology VI Trans. Computational Systems Biology Corrado Priami, Gordon D. Plotkin
2005	B	`conf`	Adequacy for Algebraic Effects with State. CALCO Gordon D. Plotkin
2004	J	`jnl`	A structural approach to operational semantics. J. Log. Algebraic Methods Program. Gordon D. Plotkin
2004	B	`conf`	Event Structures for Resolvable Conflict. MFCS Rob J. van Glabbeek, Gordon D. Plotkin
2004	J	`jnl`	Foreword. Ann. Pure Appl. Log. Gordon D. Plotkin
2004	J	`jnl`	The origins of structural operational semantics. J. Log. Algebraic Methods Program. Gordon D. Plotkin
2003	J	`jnl`	Algebraic Operations and Generic Effects. Appl. Categorical Struct. Gordon D. Plotkin, John Power
2003	—	`conf`	Logic for Computational Effects: Work in Progress. IWFM Gordon D. Plotkin, John Power
2002	—	`conf`	Combining Computational Effects: commutativity & sum. IFIP TCS Martin Hyland, Gordon D. Plotkin, John Power
2002	—	`conf`	Computational Effects and Operations: An Overview. Workshop on Domains Gordon D. Plotkin, A. John Power
2002	B	`conf`	Notions of Computation Determine Monads. FoSSaCS Gordon D. Plotkin, John Power
2002	J	`jnl`	Three Inadequate Models. Formal Aspects Comput. Gordon D. Plotkin
2001	B	`conf`	Adequacy for Algebraic Effects. FoSSaCS Gordon D. Plotkin, John Power
2001	—	`conf`	Bialgebraic Semantics and Recursion (Extended Abstract). CMCS Gordon D. Plotkin
2001	B	`conf`	Semantics for Algebraic Operations. MFPS Gordon D. Plotkin, John Power
2000	—	`conf`	A brief scientific biography of Robin Milner. Proof, Language, and Interaction Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000	—	`conf`	Bistructures, bidomains, and linear logic. Proof, Language, and Interaction Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
2000	A*	`conf`	Complete Axioms for Categorical Fixed-Point Operators. LICS Alex K. Simpson, Gordon D. Plotkin
2000	A*	`conf`	Lax Logical Relations. ICALP Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
2000	—	`ed.`	Proof, Language, and Interaction, Essays in Honour of Robin Milner Proof, Language, and Interaction Gordon D. Plotkin, Colin Stirling, Mads Tofte
2000	—	`conf`	Some New Directions in the Syntax and Semantics of Formal Languages. IFIP TCS Gordon D. Plotkin
1999	A*	`conf`	Abstract Syntax and Variable Binding. LICS Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
1999	A*	`conf`	Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
1999	J	`jnl`	Full abstraction, totality and PCF. Math. Struct. Comput. Sci. Gordon D. Plotkin
1997	A*	`conf`	Complete Cuboidal Sets in Axiomatic Domain Theory. LICS Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
1997	B	`conf`	From Action Calculi to Linear Logic. CSL Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
1997	A*	`conf`	Towards a Mathematical Operational Semantics. LICS Daniele Turi, Gordon D. Plotkin
1996	B	`conf`	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. CSL Marcelo P. Fiore, Gordon D. Plotkin
1996	J	`jnl`	On a Question of H. Friedman. Inf. Comput. Gordon D. Plotkin
1996	—	`conf`	Teams can see pomsets. Partial Order Methods in Verification Gordon D. Plotkin, Vaughan R. Pratt
1995	A*	`conf`	Configuration Structures LICS Rob J. van Glabbeek, Gordon D. Plotkin
1995	—	`ed.`	Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings TLCA Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin
1995	J	`jnl`	Uncountable Limits and the lambda Calculus. Nord. J. Comput. Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
1994	J	`jnl`	A Semantics for Static Type Inference Inf. Comput. Gordon D. Plotkin
1994	A*	`conf`	An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC LICS Marcelo P. Fiore, Gordon D. Plotkin
1994	A*	`conf`	Bistructures, Bidomains and Linear Logic. ICALP Gordon D. Plotkin, Glynn Winskel
1994	B	`conf`	Countable Non-Determinism and Uncountable Limits. CONCUR Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
1994	A*	`conf`	Subtyping and Parametricity LICS Gordon D. Plotkin, Martín Abadi, Luca Cardelli
1993	J	`jnl`	A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1993	J	`jnl`	A Framework for Defining Logics. J. ACM Robert Harper, Furio Honsell, Gordon D. Plotkin
1993	—	`conf`	A Logic for Parametric Polymorphism. TLCA Gordon D. Plotkin, Martín Abadi
1993	J	`jnl`	A Logical View of Composition. Theor. Comput. Sci. Martín Abadi, Gordon D. Plotkin
1993	J	`jnl`	Concrete Domains. Theor. Comput. Sci. Gilles Kahn, Gordon D. Plotkin
1993	J	`jnl`	On Functors Expressible in the Polymorphic Typed Lambda Calculus Inf. Comput. John C. Reynolds, Gordon D. Plotkin
1993	J	`jnl`	Set-Theoretical and Other Elementary Models of the lambda-Calculus. Theor. Comput. Sci. Gordon D. Plotkin
1993	A*	`conf`	Type Theory and Recursion (Extended Abstract) LICS Gordon D. Plotkin
1991	A*	`conf`	A Calculus for Access Control in Distributed Systems. CRYPTO Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1991	A*	`conf`	A Logical View of Composition and Refinement. POPL Martín Abadi, Gordon D. Plotkin
1991	—	`conf`	A Semantics for Type Checking. TACS Gordon D. Plotkin
1991	—	`ed.`	Computational Logic - Essays in Honor of Alan Robinson Computational Logic - Essays in Honor of Alan Robinson Jean-Louis Lassez, Gordon D. Plotkin
1991	J	`jnl`	Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1991	J	`jnl`	Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
1990	A*	`conf`	A Per Model of Polymorphism and Recursive Types LICS Martín Abadi, Gordon D. Plotkin
1989	A*	`conf`	A Probabilistic Powerdomain of Evaluations LICS C. Jones, Gordon D. Plotkin
1989	A*	`conf`	Dynamic Typing in a Statically-Typed Language. POPL Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
1989	A*	`conf`	Faithful Ideal Models for Recursive Polymorphic Types LICS Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
1988	J	`jnl`	Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. John C. Mitchell, Gordon D. Plotkin
1988	J	`jnl`	Preface Inf. Comput. Gordon D. Plotkin
1987	A*	`conf`	A Framework for Defining Logics LICS Robert Harper, Furio Honsell, Gordon D. Plotkin
1987	J	`jnl`	On Proving Limiting Completeness. SIAM J. Comput. Peter D. Mosses, Gordon D. Plotkin
1986	B	`conf`	A Framework for Intuitionistic Modal Logics. TARK Gordon D. Plotkin, Colin Stirling
1986	J	`jnl`	An Ideal Model for Recursive Polymorphic Types Inf. Control. David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1986	J	`jnl`	Countable nondeterminism and random assignment. J. ACM Krzysztof R. Apt, Gordon D. Plotkin
1985	A*	`conf`	Abstract Types Have Existential Type. POPL John C. Mitchell, Gordon D. Plotkin
1984	A*	`conf`	An Ideal Model for Recursive Polymorphic Types. POPL David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
1984	—	`ed.`	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings Semantics of Data Types Gilles Kahn, David B. MacQueen, Gordon D. Plotkin
1982	A*	`conf`	A Powerdomain for Countable Non-Determinism (Extended Abstract). ICALP Gordon D. Plotkin
1982	—	`conf`	An Operational Semantics for CSP. Formal Description of Programming Concepts Gordon D. Plotkin
1982	J	`jnl`	The Category-Theoretic Solution of Recursive Domain Equations. SIAM J. Comput. Michael B. Smyth, Gordon D. Plotkin
1981	A*	`conf`	A Cook's Tour of Countable Nondeterminism. ICALP Krzysztof R. Apt, Gordon D. Plotkin
1981	A	`conf`	A First Attempt at Translating CSP into CCS. ICDCS Matthew Hennessy, Wei Li, Gordon D. Plotkin
1981	J	`jnl`	Petri Nets, Event Structures and Domains, Part I. Theor. Comput. Sci. Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
1980	B	`conf`	A Term Model for CCS. MFCS Matthew Hennessy, Gordon D. Plotkin
1980	—	`conf`	An operational semantics for CSO. Logic of Programs Gordon D. Plotkin
1979	—	`conf`	Dijkstras Predicate Transformers & Smyth's Power Domaine. Abstract Software Specifications Gordon D. Plotkin
1979	B	`conf`	Full Abstraction for a Simple Parallel Programming Language. MFCS Matthew Hennessy, Gordon D. Plotkin
1979	—	`conf`	Petri Nets, Event Structures and Domains. Semantics of Concurrent Computation Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel
1978	J	`jnl`	T^omega as a Universal Domain. J. Comput. Syst. Sci. Gordon D. Plotkin
1977	A*	`conf`	Analysis of an Extended Concept-Learning Task. IJCAI Richard M. Young, Gordon D. Plotkin, R. F. Linz
1977	J	`jnl`	LCF Considered as a Programming Language. Theor. Comput. Sci. Gordon D. Plotkin
1977	A*	`conf`	The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract) FOCS Michael B. Smyth, Gordon D. Plotkin
1976	J	`jnl`	A Powerdomain Construction. SIAM J. Comput. Gordon D. Plotkin
1975	J	`jnl`	Call-by-Name, Call-by-Value and the lambda-Calculus. Theor. Comput. Sci. Gordon D. Plotkin
1974	J	`jnl`	The lambda-Calculus is omega-Incomplete. J. Symb. Log. Gordon D. Plotkin