DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Gordon Plotkin
Gordon Plotkin
Biology, Bioinformatics, Bioengineering, Biophysics, Biostatistics, Neuroscience, Medicine, Ophthalmology, and Dentistry
Submission Data for 2020-2021 CORE Conference Ranking Process International Conference on Mathematical Foundations of Programming Semantics
Part I Background
Estonian Academy of Sciences Yearbook 2018 XXIV
From Semantics to Dialectometry
Current Issue of FACS FACTS
Proceedings Include Papers Addressing Different Topics According to the Current Students’ Interest in Informatics
From Theory to Practice of Algebraic Effects and Handlers
Free-Algebra Models for the Π-Calculus
A Model of Cooperative Threads
Annual Report 2018
Symposium for Gordon Plotkin Edinburgh 07-08/09/2006 from Partial Lambda-Calculus to Monads
INFORMATICS THIRD YEAR (Computer Science, Software
On CSP and the Algebraic Theory of Effects
Symbolic Computation in Maude: Some Tapas
Curriculum Vitae
Common Sense for Concurrency and Inconsistency Tolerance Using Direct Logictm
Grounding Game Semantics in Categorical Algebra
Top View
Cambridge E-Books Title Author Collection Name Volume Edition
Project Description
Curriculum Vitae
The Elf Programming Language
A Logic for Parametric Polymorphism
Towards a Mathematical Operational Semantics
Distributing Probability Over Nondeterminism
Thunks and the Λ-Calculus Copyright C 1996, BRICS, Department of Computer Science
A Theory of Program Refinement
Eugene W. Stark
Introduction to the Literature on Semantics Gary T
Dynamic Typing in a Statically Typed Language
University of Edinburgh ICT Summary
Issue 2019-1 December 2019 FACS a C T S
Retrofitting Effect Handlers Onto Ocaml
School of Computing
NOOP a Mathematical Model of Object-Oriented Programming
Curriculum Vitae