| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ohad Kammar, Gordon D. Plotkin |
Algebraic foundations for effect-dependent optimisations.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Oury, Gordon D. Plotkin |
Coloured stochastic multilevel multiset rewriting. |
CMSB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Gordon D. Plotkin |
On CSP and the Algebraic Theory of Effects |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A Model of Cooperative Threads |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling, Mads Tofte |
Obituary: Robin Milner (1934-2010). |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Pedersen, Gordon D. Plotkin |
A Language for Biochemical Systems: Design and Formal Specification. |
T. Comp. Sys. Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
On Protection by Layout Randomization. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Robin Milner, a Craftsman of Tools for the Mind. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Gordon D. Plotkin |
Configuration structures, event structures and Petri nets. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Keimel, Gordon D. Plotkin |
Predicate transformers for extended probability and non-determinism. |
Mathematical Structures in Computer Science |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Furio Honsell, Gordon D. Plotkin |
On the completeness of order-theoretic models of the lambda-calculus. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Tix, Klaus Keimel, Gordon D. Plotkin |
Semantic Domains for Combining Probability and Non-Determinism. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Tix, Klaus Keimel, Gordon D. Plotkin |
Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Gordon D. Plotkin |
Configuration Structures, Event Structures and Petri Nets |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Markov Processes by Averaging. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A model of cooperative threads. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
transaction, operational semantics, monad, denotational semantics |
| 1 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Labelled Markov Processes Again! |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Matija Pretnar |
Handlers of Algebraic Effects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Tensors of Comodels and Models for Operational Semantics. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pedersen, Gordon D. Plotkin |
A Language for Biochemical Systems. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
parametrised modules, subtyping, coloured Petri nets, Large-scale |
| 1 | Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Matija Pretnar |
A Logic for Algebraic Effects. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations |
| 1 | Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power |
Combining algebraic effects with continuations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hyland, Gordon D. Plotkin, John Power |
Combining effects: Sum and tensor. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
A domain-theoretic Banach-Alaoglu theorem. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Gordon D. Plotkin (eds.) |
Transactions on Computational Systems Biology VI |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Some Varieties of Equational Logic. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Hennessy-Plotkin-Brookes Revisited. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Tix, Klaus Keimel, Gordon D. Plotkin |
Semantic Domains for Combining Probability and Non-Determinism. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Adequacy for Algebraic Effects with State. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
The origins of structural operational semantics. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
A structural approach to operational semantics. |
J. Log. Algebr. Program. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, A. John Power |
Computational Effects and Operations: An Overview. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Foreword. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Gordon D. Plotkin |
Event Structures for Resolvable Conflict. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Algebraic Operations and Generic Effects. |
Applied Categorical Structures |
2003 |
DBLP DOI BibTeX RDF |
Lawvere theory, monad, computational effect, algebraic operation |
| 1 | Gordon D. Plotkin, John Power |
Logic for Computational Effects: Work in Progress. |
IWFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Three Inadequate Models. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Full abstraction, Counterexample, PCF, Adequacy |
| 1 | Martin Hyland, Gordon D. Plotkin, John Power |
Combining Computational Effects: commutativity & sum. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Notions of Computation Determine Monads. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Bialgebraic Semantics and Recursion (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Semantics for Algebraic Operations. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power |
Adequacy for Algebraic Effects. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent |
Lax Logical Relations. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Some New Directions in the Syntax and Semantics of Formal Languages. |
IFIP TCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling, Mads Tofte |
A brief scientific biography of Robin Milner. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling, Mads Tofte (eds.) |
Proof, Language, and Interaction, Essays in Honour of Robin Milner |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel |
Bistructures, bidomains, and linear logic. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alex K. Simpson, Gordon D. Plotkin |
Complete Axioms for Categorical Fixed-Point Operators. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
iteration theories, fixed points, domain theory, Categorical models |
| 1 | Gordon D. Plotkin |
Full abstraction, totality and PCF. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi |
Abstract Syntax and Variable Binding. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding |
| 1 | Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt |
Full Completeness of the Multiplicative Linear Logic of Chu Spaces. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Chu spaces, categorical logic, natural transformations, coherence spaces, Linear logic, logical relations |
| 1 | Marcelo P. Fiore, Gordon D. Plotkin, A. John Power |
Complete Cuboidal Sets in Axiomatic Domain Theory. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Turi, Gordon D. Plotkin |
Towards a Mathematical Operational Semantics. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |
From Action Calculi to Linear Logic. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
On a Question of H. Friedman. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Gordon D. Plotkin |
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin |
Uncountable Limits and the lambda Calculus. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (eds.) |
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings |
TLCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Gordon D. Plotkin |
Configuration Structures |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
A Semantics for Static Type Inference |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
Countable Non-Determinism and Uncountable Limits. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Glynn Winskel |
Bistructures, Bidomains and Linear Logic. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Martín Abadi, Luca Cardelli |
Subtyping and Parametricity |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Gordon D. Plotkin |
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A Logical View of Composition. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Set-Theoretical and Other Elementary Models of the lambda-Calculus. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Kahn, Gordon D. Plotkin |
Concrete Domains. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Reynolds, Gordon D. Plotkin |
On Functors Expressible in the Polymorphic Typed Lambda Calculus |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin |
A Calculus for Access Control in Distributed Systems. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
cryptography, cryptographic protocols, modal logic |
| 1 | Robert Harper, Furio Honsell, Gordon D. Plotkin |
A Framework for Defining Logics. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
proof checking, interactive theorem proving, typed lambda calculus, formal systems |
| 1 | Gordon D. Plotkin, Martín Abadi |
A Logic for Parametric Polymorphism. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Type Theory and Recursion (Extended Abstract) |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin |
Faithful Ideal Models for Recursive Polymorphic Types. |
Int. J. Found. Comput. Sci. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
Dynamic Typing in a Statically Typed Language. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
theory |
| 1 | Gordon D. Plotkin |
A Semantics for Type Checking. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A Logical View of Composition and Refinement. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin |
A Calculus for Access Control in Distributed Systems. |
CRYPTO |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Gordon D. Plotkin |
A Per Model of Polymorphism and Recursive Types |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
Dynamic Typing in a Statically-Typed Language. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin |
Faithful Ideal Models for Recursive Polymorphic Types |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Jones, Gordon D. Plotkin |
A Probabilistic Powerdomain of Evaluations |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
Preface |
Inf. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Mitchell, Gordon D. Plotkin |
Abstract Types Have Existential Type. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses, Gordon D. Plotkin |
On Proving Limiting Completeness. |
SIAM J. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Furio Honsell, Gordon D. Plotkin |
A Framework for Defining Logics |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | David B. MacQueen, Gordon D. Plotkin, Ravi Sethi |
An Ideal Model for Recursive Polymorphic Types |
Information and Control |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Gordon D. Plotkin |
Countable nondeterminism and random assignment. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling |
A Framework for Intuitionistic Modal Logics. |
TARK |
1986 |
DBLP BibTeX RDF |
|
| 1 | John C. Mitchell, Gordon D. Plotkin |
Abstract Types Have Existential Type. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David B. MacQueen, Gordon D. Plotkin, Ravi Sethi |
An Ideal Model for Recursive Polymorphic Types. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Kahn, David B. MacQueen, Gordon D. Plotkin (eds.) |
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings |
Semantics of Data Types |
1984 |
DBLP BibTeX RDF |
|
| 1 | Michael B. Smyth, Gordon D. Plotkin |
The Category-Theoretic Solution of Recursive Domain Equations. |
SIAM J. Comput. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
A Powerdomain for Countable Non-Determinism (Extended Abstract). |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mogens Nielsen, Gordon D. Plotkin, Glynn Winskel |
Petri Nets, Event Structures and Domains, Part I. |
Theor. Comput. Sci. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Gordon D. Plotkin |
A Cook's Tour of Countable Nondeterminism. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, W. Li, Gordon D. Plotkin |
A First Attempt at Translating CSP into CCS. |
ICDCS |
1981 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
An operational semantics for CSO. |
Logic of Programs |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hennessy, Gordon D. Plotkin |
A Term Model for CCS. |
MFCS |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")