Gordon D. Plotkin

Publication Activity (10 Years)

Years Active: 1974-2024
Publications (10 Years): 34

Top Venues

CoRR

LICS

Log. Methods Comput. Sci.

FoSSaCS

Publications

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Polynomial Lawvere Logic. CoRR (2024)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Propositional Logics for the Lawvere Quantale. CoRR (2023)
Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. Log. Methods Comput. Sci. 19 (2) (2023)
Gordon D. Plotkin
Recursion does not always help. CoRR (2022)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Sum and Tensor of Quantitative Effects. CoRR (2022)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. LICS (2021)
Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. LICS (2021)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Tensor of Quantitative Equational Theories. CALCO (2021)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. CoRR (2021)
Martín Abadi, Gordon D. Plotkin
Smart Choices and the Selection Monad. CoRR (2020)
Martín Abadi, Gordon D. Plotkin
A simple differentiable programming language. Proc. ACM Program. Lang. 4 (POPL) (2020)
Gordon D. Plotkin
A complete equational axiomatisation of partial differentiation. CoRR (2020)
Gordon D. Plotkin
A Complete Equational Axiomatisation of Partial Differentiation. MFPS (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse Derivative Categories. CSL (2020)
Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
Chromar, a language of parameterised agents. Theor. Comput. Sci. 765 (2019)
Martín Abadi, Gordon D. Plotkin
A Simple Differentiable Programming Language. CoRR (2019)
Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146). NII Shonan Meet. Rep. 2019 (2019)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse derivative categories. CoRR (2019)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14 (3) (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the Axiomatizability of Quantitative Algebras. CoRR (2018)
Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis
Chromar, a Rule-based Language of Parameterised Objects. SASB 335 (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. CoRR (2018)
Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. MFPS (2018)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
An Algebraic Theory of Markov Processes. LICS (2018)
Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS 124 (2018)
Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi
Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS 121 (2017)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the axiomatizability of quantitative algebras. LICS (2017)
Klaus Keimel, Gordon D. Plotkin
Mixed powerdomains for probability and nondeterminism. Log. Methods Comput. Sci. 13 (1) (2017)
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra monads for free. POPL (2017)
Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese
Scaling network verification using symmetry and surgery. POPL (2016)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Quantitative Algebraic Reasoning. LICS (2016)
Mihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni
Interacting with Large Distributed Datasets Using Sketch. EGPGV@EuroVis (2016)
Danel Ahman, Neil Ghani, Gordon D. Plotkin
Dependent Types and Fibred Computational Effects. FoSSaCS (2016)
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra Monads for Free. CoRR (2016)
Martín Abadi, Frank McSherry, Gordon D. Plotkin
Foundations of Differential Dataflow. FoSSaCS (2015)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. Horizons of the Mind (2014)
Roberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Informaticae 134 (3-4) (2014)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Markov Processes by Averaging. J. ACM 61 (1) (2014)
Andrej Bauer, Gordon D. Plotkin, Dana S. Scott
Cartesian closed categories of separable Scott domains. Theor. Comput. Sci. 546 (2014)
Gordon D. Plotkin
A Calculus of Chemical Systems. In Search of Elegance in the Theory and Practice of Computation (2013)
Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott
Dedication. MFPS (2013)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. MFPS (2013)
Nicolas Oury, Gordon D. Plotkin
Multi-level modelling via stochastic multi-level multiset rewriting. Math. Struct. Comput. Sci. 23 (2) (2013)
Gordon D. Plotkin, Matija Pretnar
Handling Algebraic Effects. Log. Methods Comput. Sci. 9 (4) (2013)
Gordon D. Plotkin
Partial Recursive Functions and Finality. Computation, Logic, Games, and Quantum Foundations (2013)
Mihai Budiu, Joel Galenson, Gordon D. Plotkin
The Compiler Forest. ESOP (2013)
Ohad Kammar, Gordon D. Plotkin
Algebraic foundations for effect-dependent optimisations. POPL (2012)
Gordon D. Plotkin
Concurrency and the Algebraic Theory of Effects - (Abstract). CONCUR (2012)
Martín Abadi, Gordon D. Plotkin
On Protection by Layout Randomization. ACM Trans. Inf. Syst. Secur. 15 (2) (2012)
Nicolas Oury, Gordon D. Plotkin
Coloured stochastic multilevel multiset rewriting. CMSB (2011)
Martín Abadi, Gordon D. Plotkin
A Model of Cooperative Threads Log. Methods Comput. Sci. 6 (4) (2010)
Martín Abadi, Gordon D. Plotkin
On Protection by Layout Randomization. CSF (2010)
Gordon D. Plotkin, Colin Stirling, Mads Tofte
Obituary: Robin Milner (1934-2010). Bull. EATCS 101 (2010)
Rob J. van Glabbeek, Gordon D. Plotkin
On CSP and the Algebraic Theory of Effects CoRR (2010)
Michael Pedersen, Gordon D. Plotkin
A Language for Biochemical Systems: Design and Formal Specification. Trans. Comp. Sys. Biology 12 (2010)
Gordon D. Plotkin
Robin Milner, a Craftsman of Tools for the Mind. LICS (2010)
Regina Tix, Klaus Keimel, Gordon D. Plotkin
Semantic Domains for Combining Probability and Non-Determinism. Electron. Notes Theor. Comput. Sci. 222 (2009)
Gordon D. Plotkin, Matija Pretnar
Handlers of Algebraic Effects. ESOP (2009)
Martín Abadi, Gordon D. Plotkin
A model of cooperative threads. POPL (2009)
Furio Honsell, Gordon D. Plotkin
On the completeness of order-theoretic models of the lambda-calculus. Inf. Comput. 207 (5) (2009)
Klaus Keimel, Gordon D. Plotkin
Predicate transformers for extended probability and non-determinism. Math. Struct. Comput. Sci. 19 (3) (2009)
Gordon D. Plotkin
Adequacy for Infinitary Algebraic Effects (Abstract). CALCO (2009)
Rob J. van Glabbeek, Gordon D. Plotkin
Configuration Structures, Event Structures and Petri Nets CoRR (2009)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Markov Processes by Averaging. ICALP (2) (2009)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Labelled Markov Processes Again! CALCO (2009)
Rob J. van Glabbeek, Gordon D. Plotkin
Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410 (41) (2009)
Michael Pedersen, Gordon D. Plotkin
A Language for Biochemical Systems. CMSB (2008)
Gordon D. Plotkin, Matija Pretnar
A Logic for Algebraic Effects. LICS (2008)
Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science (2008)
Gordon D. Plotkin, John Power
Tensors of Comodels and Models for Operational Semantics. MFPS (2008)
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
Combining algebraic effects with continuations. Theor. Comput. Sci. 375 (1-3) (2007)
Gordon D. Plotkin
Some Varieties of Equational Logic. Essays Dedicated to Joseph A. Goguen (2006)
Martin Hyland, Gordon D. Plotkin, John Power
Combining effects: Sum and tensor. Theor. Comput. Sci. 357 (1-3) (2006)
Gordon D. Plotkin
A domain-theoretic Banach-Alaoglu theorem. Math. Struct. Comput. Sci. 16 (2) (2006)
Gordon D. Plotkin
Hennessy-Plotkin-Brookes Revisited. FSTTCS (2006)
Gordon D. Plotkin
Adequacy for Algebraic Effects with State. CALCO (2005)
Gordon D. Plotkin
Foreword. Ann. Pure Appl. Log. 130 (1-3) (2004)
Gordon D. Plotkin
The origins of structural operational semantics. J. Log. Algebraic Methods Program. (2004)
Gordon D. Plotkin
A structural approach to operational semantics. J. Log. Algebraic Methods Program. (2004)
Gordon D. Plotkin, A. John Power
Computational Effects and Operations: An Overview. Electron. Notes Theor. Comput. Sci. 73 (2004)
Rob J. van Glabbeek, Gordon D. Plotkin
Event Structures for Resolvable Conflict. MFCS (2004)
Gordon D. Plotkin, John Power
Algebraic Operations and Generic Effects. Appl. Categorical Struct. 11 (1) (2003)
Gordon D. Plotkin, John Power
Logic for Computational Effects: Work in Progress. IWFM (2003)
Gordon D. Plotkin
Three Inadequate Models. Formal Aspects Comput. 13 (3-5) (2002)
Gordon D. Plotkin, John Power
Notions of Computation Determine Monads. FoSSaCS (2002)
Martin Hyland, Gordon D. Plotkin, John Power
Combining Computational Effects: commutativity & sum. IFIP TCS (2002)
Gordon D. Plotkin, John Power
Semantics for Algebraic Operations. MFPS (2001)
Gordon D. Plotkin
Bialgebraic Semantics and Recursion (Extended Abstract). CMCS (2001)
Gordon D. Plotkin, John Power
Adequacy for Algebraic Effects. FoSSaCS (2001)
Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent
Lax Logical Relations. ICALP (2000)
Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel
Bistructures, bidomains, and linear logic. Proof, Language, and Interaction (2000)
Gordon D. Plotkin
Some New Directions in the Syntax and Semantics of Formal Languages. IFIP TCS (2000)
Gordon D. Plotkin, Colin Stirling, Mads Tofte
A brief scientific biography of Robin Milner. Proof, Language, and Interaction (2000)
Alex K. Simpson, Gordon D. Plotkin
Complete Axioms for Categorical Fixed-Point Operators. LICS (2000)
Gordon D. Plotkin
Full abstraction, totality and PCF. Math. Struct. Comput. Sci. 9 (1) (1999)
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
Abstract Syntax and Variable Binding. LICS (1999)
Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt
Full Completeness of the Multiplicative Linear Logic of Chu Spaces. LICS (1999)
Daniele Turi, Gordon D. Plotkin
Towards a Mathematical Operational Semantics. LICS (1997)
Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
From Action Calculi to Linear Logic. CSL (1997)
Marcelo P. Fiore, Gordon D. Plotkin, A. John Power
Complete Cuboidal Sets in Axiomatic Domain Theory. LICS (1997)

Gordon D. Plotkin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gordon D. Plotkin