Gordon D. Plotkin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Martín Abadi

> Home > Persons > Gordon D. Plotkin

Publications

2023
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AbadiP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AbadiP23
Martín Abadi, Gordon D. Plotkin:
Smart Choices and the Selection Monad. Log. Methods Comput. Sci. 19(2) (2023)
2021
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AbadiP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AbadiP21
Martín Abadi, Gordon D. Plotkin:
Smart Choices and the Selection Monad. LICS 2021: 1-14
2020
[j50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AbadiP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AbadiP20
Martín Abadi, Gordon D. Plotkin:
A simple differentiable programming language. Proc. ACM Program. Lang. 4(POPL): 38:1-38:28 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08926
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08926
Martín Abadi, Gordon D. Plotkin:
Smart Choices and the Selection Monad. CoRR abs/2007.08926 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-04523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-04523
Martín Abadi, Gordon D. Plotkin:
A Simple Differentiable Programming Language. CoRR abs/1911.04523 (2019)
2015
[c73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AbadiMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AbadiMP15
Martín Abadi, Frank McSherry, Gordon D. Plotkin:
Foundations of Differential Dataflow. FoSSaCS 2015: 71-83
2014
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AbadiPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AbadiPP14
Martín Abadi, Jérémy Planul, Gordon D. Plotkin:
Layout Randomization and Nondeterminism. Horizons of the Mind 2014: 1-39
2013
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbadiPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbadiPP13
Martín Abadi, Jérémy Planul, Gordon D. Plotkin:
Layout Randomization and Nondeterminism. MFPS 2013: 29-50
2012
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/AbadiP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/AbadiP12
Martín Abadi, Gordon D. Plotkin:
On Protection by Layout Randomization. ACM Trans. Inf. Syst. Secur. 15(2): 8:1-8:29 (2012)
2010
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1009-2405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1009-2405
Martín Abadi, Gordon D. Plotkin:
A Model of Cooperative Threads. Log. Methods Comput. Sci. 6(4) (2010)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/AbadiP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/AbadiP10
Martín Abadi, Gordon D. Plotkin:
On Protection by Layout Randomization. CSF 2010: 337-351
2009
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AbadiP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AbadiP09
Martín Abadi, Gordon D. Plotkin:
A model of cooperative threads. POPL 2009: 29-40
1994
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PlotkinAC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PlotkinAC94
Gordon D. Plotkin, Martín Abadi, Luca Cardelli:
Subtyping and Parametricity. LICS 1994: 310-319
1993
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbadiP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbadiP93
Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition. Theor. Comput. Sci. 114(1): 3-30 (1993)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AbadiBLP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AbadiBLP93
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin:
A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. 15(4): 706-734 (1993)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/PlotkinA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/PlotkinA93
Gordon D. Plotkin, Martín Abadi:
A Logic for Parametric Polymorphism. TLCA 1993: 361-375
1991
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/AbadiPP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/AbadiPP91
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types. Int. J. Found. Comput. Sci. 2(1): 1-21 (1991)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AbadiCPP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AbadiCPP91
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/AbadiBLP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/AbadiBLP91
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin:
A Calculus for Access Control in Distributed Systems. CRYPTO 1991: 1-23
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AbadiP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AbadiP91
Martín Abadi, Gordon D. Plotkin:
A Logical View of Composition and Refinement. POPL 1991: 323-332
1990
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AbadiP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AbadiP90
Martín Abadi, Gordon D. Plotkin:
A Per Model of Polymorphism and Recursive Types. LICS 1990: 355-365
1989
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AbadiPP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AbadiPP89
Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin:
Faithful Ideal Models for Recursive Polymorphic Types. LICS 1989: 216-225
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/AbadiCPP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/AbadiCPP89
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin:
Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.