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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

The origins of structural operational semantics von Plotkin, Gordon D

Volltext

Scaling network verification using symmetry and surgery von Plotkin, Gordon D., Bjørner, Nikolaj, Lopes, Nuno P., Rybalchenko, Andrey, Varghese, George

Volltext

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

Volltext

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

Volltext

Dependent Types and Fibred Computational Effects von Ahman, Danel, Ghani, Neil, Plotkin, Gordon D.

Volltext

A Calculus of Chemical Systems von Plotkin, Gordon D.

Volltext

A complete equational axiomatisation of partial differentiation von Plotkin, Gordon D

Volltext bestellen

A Language for Biochemical Systems: Design and Formal Specification von Pedersen, Michael, Plotkin, Gordon D.

Volltext

On Protection by Layout Randomization von Abadi, Martín, Plotkin, Gordon D.

Volltext

Robin Milner, a Craftsman of Tools for the Mind von Plotkin, G D

Volltext