Search Results - PLOTKIN, Gordon

Refine Results
  1. 1
    Handling Algebraic Effects

    Handling Algebraic Effects by Plotkin, Gordon D, Pretnar, Matija

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A high-level language for rule-based modelling

    A high-level language for rule-based modelling by Pedersen, Michael, Phillips, Andrew, Plotkin, Gordon D

    Published in PloS one
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Smart Choices and the Selection Monad

    Smart Choices and the Selection Monad by Abadi, Martin, Plotkin, Gordon

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Practical steps to digital organism models, from laboratory model species to ‘Crops in silico

    Practical steps to digital organism models, from laboratory model species to ‘Crops in silico by Millar, Andrew J, Urquiza, Uriel, Freeman, Peter L, Hume, Alastair, Plotkin, Gordon D, Sorokina, Oxana, Zardilis, Argyris, Zielinski, Tomasz

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Mixed powerdomains for probability and nondeterminism

    Mixed powerdomains for probability and nondeterminism by Klaus Keimel, Gordon D. Plotkin

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Free complete Wasserstein algebras

    Free complete Wasserstein algebras by Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A simple differentiable programming language

    A simple differentiable programming language by Abadi, Martín, Plotkin, Gordon D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A framework for defining logics

    A framework for defining logics by HARPER, R, HONSELL, F, PLOTKIN, G

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Predicate transformers for extended probability and non-determinism

    Predicate transformers for extended probability and non-determinism by KEIMEL, KLAUS, PLOTKIN, GORDON D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Combining effects: Sum and tensor

    Combining effects: Sum and tensor by Hyland, Martin, Plotkin, Gordon, Power, John

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Sum and Tensor of Quantitative Effects

    Sum and Tensor of Quantitative Effects by Bacci, Giorgio, Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Approximating Markov Processes by Averaging

    Approximating Markov Processes by Averaging by Chaput, Philippe, Danos, Vincent, Panangaden, Prakash, Plotkin, Gordon

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Chromar, a language of parameterised agents

    Chromar, a language of parameterised agents by Honorato-Zimmer, Ricardo, Millar, Andrew J., Plotkin, Gordon D., Zardilis, Argyris

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Multi-level modelling via stochastic multi-level multiset rewriting

    Multi-level modelling via stochastic multi-level multiset rewriting by OURY, NICOLAS, PLOTKIN, GORDON

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    The origins of structural operational semantics

    The origins of structural operational semantics by Plotkin, Gordon D

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    A Model of Cooperative Threads

    A Model of Cooperative Threads by Abadi, Martín, Plotkin, Gordon D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Cartesian closed categories of separable Scott domains

    Cartesian closed categories of separable Scott domains by Bauer, Andrej, Plotkin, Gordon D., Scott, Dana S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  18. 18
    Approximating Markov Processes by Averaging

    Approximating Markov Processes by Averaging by Chaput, Philippe, Danos, Vincent, Panangaden, Prakash, Plotkin, Gordon

    Published in Journal of the ACM
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    A Complete Equational Axiomatisation of Partial Differentiation

    A Complete Equational Axiomatisation of Partial Differentiation by Plotkin, Gordon D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Abstract types have existential type

    Abstract types have existential type by Mitchell, John C., Plotkin, Gordon D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: