BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Poland
1 × Switzerland
12 × USA
2 × Denmark
2 × France
2 × Israel
2 × The Netherlands
3 × Italy
3 × United Kingdom
Collaborated with:
M.Abadi M.P.Fiore J.Power M.Pretnar D.Turi L.Cardelli B.C.Pierce O.Kammar A.K.Simpson R.J.v.Glabbeek G.Winskel C.Jones J.C.Mitchell K.R.Apt F.McSherry M.Budiu J.Galenson A.J.Power R.Harper F.Honsell D.B.MacQueen R.Sethi P.Chaput V.Danos P.Panangaden D.Sannella R.D.Tennent H.Devarajan D.J.D.Hughes V.R.Pratt A.Barber P.Gardner M.Hasegawa N.Bjørner N.P.Lopes A.Rybalchenko G.Varghese J.R.B.Cockett G.S.H.Cruttwell J.Gallagher J.P.Lemay B.MacAdam D.Pronk D.Ahman C.Hritcu K.Maillard G.Martínez J.Protzenko A.Rastogi N.Swamy
Talks about:
logic (8) model (7) type (7) polymorph (4) algebra (4) effect (4) domain (4) complet (3) axiomat (3) theori (3)

Person: Gordon D. Plotkin

DBLP DBLP: Plotkin:Gordon_D=

Facilitated 1 volumes:

TLCA 1995Ed

Contributed to:

FoSSaCS 20152015
ESOP 20132013
POPL 20122012
LICS 20102010
ESOP 20092009
ICALP (2) 20092009
POPL 20092009
LICS 20082008
FoSSaCS 20022002
FoSSaCS 20012001
ICALP 20002000
LICS 20002000
LICS 19991999
CSL 19971997
LICS 19971997
CSL 19961996
LICS 19951995
ICALP 19941994
LICS 19941994
TLCA 19931993
POPL 19911991
LICS 19901990
LICS 19891989
POPL 19891989
LICS 19871987
POPL 19851985
POPL 19841984
ICALP 19821982
ICALP 19811981
CSL 20202020
POPL 20162016
POPL 20172017
POPL 20202020

Wrote 37 papers:

FoSSaCS-2015-AbadiMP #data flow #difference
Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.
ESOP-2013-BudiuGP #compilation
The Compiler Forest (MB, JG, GDP), pp. 21–40.
POPL-2012-KammarP #algebra #optimisation
Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.
LICS-2010-Plotkin #tool support
Robin Milner, a Craftsman of Tools for the Mind (GDP), pp. 58–59.
ESOP-2009-PlotkinP #algebra
Handlers of Algebraic Effects (GDP, MP), pp. 80–94.
ICALP-v2-2009-ChaputDPP #approximate #markov #process
Approximating Markov Processes by Averaging (PC, VD, PP, GDP), pp. 127–138.
POPL-2009-AbadiP #thread
A model of cooperative threads (MA, GDP), pp. 29–40.
LICS-2008-PlotkinP #algebra #logic
A Logic for Algebraic Effects (GDP, MP), pp. 118–129.
FoSSaCS-2002-PlotkinP #monad
Notions of Computation Determine Monads (GDP, JP), pp. 342–356.
FoSSaCS-2001-PlotkinP #algebra
Adequacy for Algebraic Effects (GDP, JP), pp. 1–24.
ICALP-2000-PlotkinPST #logic
Lax Logical Relations (GDP, JP, DS, RDT), pp. 85–102.
LICS-2000-SimpsonP #axiom #category theory #fixpoint
Complete Axioms for Categorical Fixed-Point Operators (AKS, GDP), pp. 30–41.
LICS-1999-DevarajanHPP #linear #logic #multi
Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
LICS-1999-FiorePT #syntax
Abstract Syntax and Variable Binding (MPF, GDP, DT), pp. 193–202.
CSL-1997-BarberGHP #calculus #linear #logic
From Action Calculi to Linear Logic (AB, PG, MH, GDP), pp. 78–97.
LICS-1997-FiorePP #axiom #set
Complete Cuboidal Sets in Axiomatic Domain Theory (MPF, GDP, AJP), pp. 268–278.
LICS-1997-TuriP #semantics #towards
Towards a Mathematical Operational Semantics (DT, GDP), pp. 280–291.
CSL-1996-FioreP #axiom #modelling
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (MPF, GDP), pp. 129–149.
Configuration Structures (RJvG, GDP), pp. 199–209.
ICALP-1994-PlotkinW #linear #logic
Bistructures, Bidomains and Linear Logic (GDP, GW), pp. 352–363.
LICS-1994-FioreP #axiom #formal method #modelling
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
LICS-1994-PlotkinAC #parametricity #type system
Subtyping and Parametricity (GDP, MA, LC), pp. 310–319.
TLCA-1993-PlotkinA #logic #morphism #parametricity #polymorphism
A Logic for Parametric Polymorphism (GDP, MA), pp. 361–375.
POPL-1991-AbadiP #composition #logic #refinement
A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.
LICS-1990-AbadiP #morphism #polymorphism #recursion
A Per Model of Polymorphism and Recursive Types (MA, GDP), pp. 355–365.
LICS-1989-AbadiPP #modelling #polymorphism #recursion
Faithful Ideal Models for Recursive Polymorphic Types (MA, BCP, GDP), pp. 216–225.
LICS-1989-JonesP #probability
A Probabilistic Powerdomain of Evaluations (CJ, GDP), pp. 186–195.
POPL-1989-AbadiCPP #dynamic typing #static typing #type system
Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
LICS-1987-HarperHP #framework #logic
A Framework for Defining Logics (RH, FH, GDP), pp. 194–204.
POPL-1985-MitchellP #data type
Abstract Types Have Existential Type (JCM, GDP), pp. 37–51.
POPL-1984-MacQueenPS #polymorphism #recursion
An Ideal Model for Recursive Polymorphic Types (DBM, GDP, RS), pp. 165–174.
ICALP-1982-Plotkin #nondeterminism
A Powerdomain for Countable Non-Determinism (GDP), pp. 418–428.
ICALP-1981-AptP #nondeterminism
A Cook’s Tour of Countable Nondeterminism (KRA, GDP), pp. 479–494.
CSL-2020-CockettCGLMPP #category theory
Reverse Derivative Categories (JRBC, GSHC, JG, JSPL, BM, GDP, DP), p. 16.
POPL-2016-PlotkinBLRV #network #scalability #symmetry #using #verification
Scaling network verification using symmetry and surgery (GDP, NB, NPL, AR, GV), pp. 69–83.
POPL-2017-AhmanHMMPPRS #for free #monad
Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.
POPL-2020-AbadiP #programming language
A simple differentiable programming language (MA, GDP), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.