Gordon D. Plotkin - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Gordon D. Plotkin' as author, editor, or advisor:

Retraction notice to Semantic Domains for Combining Probability and Non-Determinism [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]Regina Tix, Klaus Keimel, Gordon D. Plotkin. ENTCS, 222:1, 2009. [doi]
Approximating Labelled Markov Processes Again!Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin. calco 2009: 145-156 [doi]
Some Varieties of Equational LogicGordon D. Plotkin. BIRTHDAY 2006: 150-156 [doi]
Partial Recursive Functions and FinalityGordon D. Plotkin. BIRTHDAY 2013: 311-326 [doi]
A model of cooperative threadsMartín Abadi, Gordon D. Plotkin. POPL 2009: 29-40 [doi]
A domain-theoretic Banach-Alaoglu theoremGordon D. Plotkin. mscs, 16(2):299-311, 2006. [doi]
Dependent Types and Fibred Computational EffectsDanel Ahman, Neil Ghani, Gordon D. Plotkin. fossacs 2016: 36-54 [doi]
On Protection by Layout RandomizationMartín Abadi, Gordon D. Plotkin. csfw 2010: 337-351 [doi]
Scaling network verification using symmetry and surgeryGordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese. POPL 2016: 69-83 [doi]
The Compiler ForestMihai Budiu, Joel Galenson, Gordon D. Plotkin. ESOP 2013: 21-40 [doi]
Approximating Markov Processes by AveragingPhilippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin. JACM, 61(1):5, 2014. [doi]
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace StrategiesNathan Bowler, Paul Blain Levy, Gordon D. Plotkin. ENTCS, 341:23-44, 2018. [doi]
Free complete Wasserstein algebrasRadu Mardare, Prakash Panangaden, Gordon D. Plotkin. lmcs, 14(3), 2018. [doi]
Abstract Syntax and Variable BindingMarcelo P. Fiore, Gordon D. Plotkin, Daniele Turi. lics 1999: 193-202 [doi]
A Complete Equational Axiomatisation of Partial DifferentiationGordon D. Plotkin. mfps 2020: 211-232 [doi]
Concrete DomainsGilles Kahn, Gordon D. Plotkin. TCS, 121(1&2):187-277, 1993.
Dijkstra monads for freeDanel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martinez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy. POPL 2017: 515-529 [doi]
Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, ProceedingsGilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Volume 173 of Lecture Notes in Computer Science, Springer, 1984.
Faithful Ideal Models for Recursive Polymorphic TypesMartín Abadi, Benjamin C. Pierce, Gordon D. Plotkin. ijfcs, 2(1):1-21, 1991.
On Protection by Layout RandomizationMartín Abadi, Gordon D. Plotkin. tissec, 15(2):8, 2012. [doi]
Adequacy for Infinitary Algebraic Effects (Abstract)Gordon D. Plotkin. calco 2009: 1-2 [doi]
Predicate transformers for extended probability and non-determinismKlaus Keimel, Gordon D. Plotkin. mscs, 19(3):501-539, 2009. [doi]
Alonzo Church Award 2018 - Call for NominationsThomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar. eatcs, 124, 2018. [doi]
Countable nondeterminism and random assignmentKrzysztof R. Apt, Gordon D. Plotkin. JACM, 33(4):724-767, 1986. [doi]
A structural approach to operational semanticsGordon D. Plotkin. jlp, 60-61:17-139, 2004.
Multi-level modelling via stochastic multi-level multiset rewritingNicolas Oury, Gordon D. Plotkin. mscs, 23(2):471-503, 2013. [doi]
A Calculus for Access Control in Distributed SystemsMartín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin. crypto 1992: 1-23 [doi]
A First Attempt at Translating CSP into CCSMatthew Hennessy, W. Li, Gordon D. Plotkin. icdcs 1981: 105-115
Chromar, a Rule-based Language of Parameterised ObjectsRicardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis. ENTCS, 335:49-66, 2018. [doi]
Alonzo Church Award 2017 - Call for NominationsNatarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi. eatcs, 121, 2017. [doi]
Interacting with Large Distributed Datasets Using SketchMihai Budiu, Rebecca Isaacs, Derek Murray, Gordon D. Plotkin, Paul Barham 0001, Samer Al-Kiswany, Yazan Boshmaf, Qingzhou Luo, Alexandr Andoni. egpgv 2016: 31-43 [doi]
An Ideal Model for Recursive Polymorphic TypesDavid B. MacQueen, Gordon D. Plotkin, Ravi Sethi. iandc, 71(1/2):95-130, October/November 1986.
Logic for Computational Effects: Work in ProgressGordon D. Plotkin, John Power. iwfm 2003: [doi]
Foundations of Differential DataflowMartín Abadi, Frank McSherry, Gordon D. Plotkin. fossacs 2015: 71-83 [doi]
Chromar, a language of parameterised agentsRicardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis. TCS, 765:97-119, 2019. [doi]
Complete Axioms for Categorical Fixed-Point OperatorsAlex K. Simpson, Gordon D. Plotkin. lics 2000: 30-41 [doi]
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphsRoberto Bruni, Ugo Montanari, Gordon D. Plotkin, Daniele Terreni. FUIN, 134(3-4):287-317, 2014. [doi]
From Action Calculi to Linear LogicAndrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin. csl 1998: 78-97
Combining Computational Effects: commutativity & sumMartin Hyland, Gordon D. Plotkin, John Power. ifipTCS 2002: 474-484
A Logical View of CompositionMartín Abadi, Gordon D. Plotkin. TCS, 114(1):3-30, 1993.
Hennessy-Plotkin-Brookes RevisitedGordon D. Plotkin. fsttcs 2006: 4 [doi]
Smart Choices and the Selection MonadMartín Abadi, Gordon D. Plotkin. lics 2021: 1-14 [doi]
Obituary: Robin Milner (1934-2010)Gordon D. Plotkin, Colin Stirling, Mads Tofte. eatcs, 101:12-16, 2010. [doi]
DedicationStephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott. ENTCS, 298:3-5, 2013. [doi]
Fixed-Points for Quantitative Equational LogicsRadu Mardare, Prakash Panangaden, Gordon D. Plotkin. lics 2021: 1-13 [doi]
Computational Logic - Essays in Honor of Alan RobinsonJean-Louis Lassez, Gordon D. Plotkin, editors, The MIT Press, 1991.
The lambda-Calculus is omega-IncompleteGordon D. Plotkin. JSYML, 39(2):313-317, 1974.
Lax Logical RelationsGordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent. icalp 2000: 85-102 [doi]
An operational semantics for CSOGordon D. Plotkin. lop 1983: 250-252
Some New Directions in the Syntax and Semantics of Formal LanguagesGordon D. Plotkin. ifipTCS 2000: 596 [doi]
Bistructures, Bidomains and Linear LogicGordon D. Plotkin, Glynn Winskel. icalp 1994: 352-363
A Framework for Defining LogicsRobert Harper, Furio Honsell, Gordon D. Plotkin. lics 1987: 194-204
Reverse Derivative CategoriesJ. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk. csl 2020: [doi]
The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)Michael B. Smyth, Gordon D. Plotkin. focs 1977: 13-17
Computational Effects and Operations: An OverviewGordon D. Plotkin, A. John Power. ENTCS, 73:149-163, 2004. [doi]
On a Question of H. FriedmanGordon D. Plotkin. iandc, 126(1):74-77, 1996.
ForewordGordon D. Plotkin. APAL, 130(1-3):1, 2004. [doi]
Layout Randomization and NondeterminismMartín Abadi, Jérémy Planul, Gordon D. Plotkin. ENTCS, 298:29-50, 2013. [doi]
Adequacy for Algebraic Effects with StateGordon D. Plotkin. calco 2005: 51-51 [doi]
The Category-Theoretic Solution of Recursive Domain EquationsMichael B. Smyth, Gordon D. Plotkin. SICOMP, 11(4):761-783, 1982.
Full Abstraction for a Simple Parallel Programming LanguageMatthew Hennessy, Gordon D. Plotkin. mfcs 1979: 108-120
A Logical View of Composition and RefinementMartín Abadi, Gordon D. Plotkin. POPL 1991: 323-332
Approximating Markov Processes by AveragingPhilippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin. icalp 2009: 127-138 [doi]
Proof, Language, and Interaction, Essays in Honour of Robin MilnerGordon D. Plotkin, Colin Stirling, Mads Tofte, editors, The MIT Press, 2000.
Smart Choices and the Selection MonadMartín Abadi, Gordon D. Plotkin. lmcs, 19(2), 2023. [doi]
Tensor of Quantitative Equational TheoriesGiorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. calco 2021: [doi]
Abstract Types Have Existential TypeJohn C. Mitchell, Gordon D. Plotkin. POPL 1985: 37-51
Analysis of an Extended Concept-Learning TaskRichard M. Young, Gordon D. Plotkin, R. F. Linz. IJCAI 1977: 348
Dynamic Typing in a Statically-Typed LanguageMartín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin. POPL 1989: 213-227
Configuration structures, event structures and Petri netsRob J. van Glabbeek, Gordon D. Plotkin. TCS, 410(41):4111-4159, 2009. [doi]
Transactions on Computational Systems Biology VICorrado Priami, Gordon D. Plotkin, editors, Volume 4220 of Lecture Notes in Computer Science, Springer, 2006.
Robin Milner, a Craftsman of Tools for the MindGordon D. Plotkin. lics 2010: 58-59 [doi]
Semantic Domains for Combining Probability and Non-DeterminismRegina Tix, Klaus Keimel, Gordon D. Plotkin. ENTCS, 222:3-99, 2009. [doi]
Concurrency and the Algebraic Theory of Effects - (Abstract)Gordon D. Plotkin. concur 2012: 21-22 [doi]
Quantitative Algebraic ReasoningRadu Mardare, Prakash Panangaden, Gordon D. Plotkin. lics 2016: 700-709 [doi]
Layout Randomization and NondeterminismMartín Abadi, Jérémy Planul, Gordon D. Plotkin. BIRTHDAY 2014: 1-39 [doi]
Coloured stochastic multilevel multiset rewritingNicolas Oury, Gordon D. Plotkin. cmsb 2011: 171-181 [doi]
On CSP and the Algebraic Theory of EffectsRob J. van Glabbeek, Gordon D. Plotkin. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 333-369, Springer, 2010. [doi]
Teams can see pomsetsGordon D. Plotkin, Vaughan R. Pratt. dimacs 1996: 117-128
A Semantics for Type CheckingGordon D. Plotkin. tacs 1991: 1-17
An Algebraic Theory of Markov ProcessesGiorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. lics 2018: 679-688 [doi]
Dijkstras Predicate Transformers & Smyth s Power DomaineGordon D. Plotkin. ac 1980: 527-553
Combining algebraic effects with continuationsMartin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power. TCS, 375(1-3):20-40, 2007. [doi]
On the axiomatizability of quantitative algebrasRadu Mardare, Prakash Panangaden, Gordon D. Plotkin. lics 2017: 1-12 [doi]
Event Structures for Resolvable ConflictRob J. van Glabbeek, Gordon D. Plotkin. mfcs 2004: 550-561 [doi]
Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146)Oleg Kiselyov, Sam Lindley, Gordon D. Plotkin, Nicolas Wu. shonan-reports, 2019, 2019. [doi]
Configuration StructuresRob J. van Glabbeek, Gordon D. Plotkin. lics 1995: 199-209
Algebraic foundations for effect-dependent optimisationsOhad Kammar, Gordon D. Plotkin. POPL 2012: 349-360 [doi]
A Calculus of Chemical SystemsGordon D. Plotkin. BIRTHDAY 2013: 445-465 [doi]
A Powerdomain for Countable Non-Determinism (Extended Abstract)Gordon D. Plotkin. icalp 1982: 418-428
An Operational Semantics for CSPGordon D. Plotkin. ifip2 1983: 199-226
On Functors Expressible in the Polymorphic Typed Lambda CalculusJohn C. Reynolds, Gordon D. Plotkin. iandc, 105(1):1-29, July 1993.
A Language for Biochemical Systems: Design and Formal SpecificationMichael Pedersen, Gordon D. Plotkin. TCSB, 12:77-145, 2010. [doi]
Cartesian closed categories of separable Scott domainsAndrej Bauer, Gordon D. Plotkin, Dana S. Scott. TCS, 546:17-29, 2014. [doi]
A simple differentiable programming languageMartín Abadi, Gordon D. Plotkin. PACMPL, 4(POPL), 2020. [doi]
Full abstraction, totality and PCFGordon D. Plotkin. mscs, 9(1):1-20, 1999.
A Term Model for CCSMatthew Hennessy, Gordon D. Plotkin. mfcs 1980: 261-274
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, UK, April 10-12, 1995, ProceedingsMariangiola Dezani-Ciancaglini, Gordon D. Plotkin, editors, Volume 902 of Lecture Notes in Computer Science, Springer, 1995.
Bialgebraic Semantics and Recursion (Extended Abstract)Gordon D. Plotkin. ENTCS, 44(1):285-288, 2001. [doi]
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal CategoriesMasahito Hasegawa, Martin Hofmann, Gordon D. Plotkin. birthday 2008: 367-385 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Gordon D. Plotkin's Profile

Unidentified Publications