BibSLEIGH — Gordon_D

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: Plotkin:Gordon_D=

Facilitated 1 volumes:

Contributed to:

2015

2013

2012

2010

2009

2008

2002

2001

2000

1999

1997

1996

1995

1994

1993

1991

1990

1989

1987

1985

1984

1982

1981

2020

2016

2017

2020

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.
LICS-1995-GlabbeekP: 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.