Подписаться
Gordon Plotkin
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Подтвержден адрес электронной почты в домене inf.ed.ac.uk
Название
Процитировано
Процитировано
Год
A structural approach to operational semantics
GD Plotkin
Aarhus university, 1981
50901981
A framework for defining logics
R Harper, F Honsell, G Plotkin
Journal of the ACM (JACM) 40 (1), 143-184, 1993
20671993
Call-by-name, call-by-value and the λ-calculus
GD Plotkin
Theoretical computer science 1 (2), 125-159, 1975
18551975
LCF considered as a programming language
GD Plotkin
Theoretical computer science 5 (3), 223-255, 1977
16051977
A note on inductive generalization
GD Plotkin
Machine intelligence 5 (1), 153-163, 1970
15921970
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
15261981
A powerdomain construction
GD Plotkin
SIAM Journal on Computing 5 (3), 452-487, 1976
9211976
A calculus for access control in distributed systems
M Abadi, M Burrows, B Lampson, G Plotkin
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 706-734, 1993
8351993
Abstract types have existential type
JC Mitchell, GD Plotkin
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988
7811988
The category-theoretic solution of recursive domain equations
MB Smyth, GD Plotkin
SIAM Journal on Computing 11 (4), 761-783, 1982
7761982
Dynamic typing in a statically typed language
M Abadi, L Cardelli, B Pierce, G Plotkin
ACM transactions on programming languages and systems (TOPLAS) 13 (2), 237-268, 1991
5631991
Building-in equational theories
G Plotkin
Machine intelligence 7, 73-90, 1972
5471972
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
5321999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
5141997
A probabilistic powerdomain of evaluations
C Jones, GD Plotkin
Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989
5001989
A further note on inductive generalization
GD Plotkin
Machine intelligence 6, 101-124, 1971
4731971
An ideal model for recursive polymorphic types
D MacQueen, G Plotkin, R Sethi
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of …, 1984
4671984
Notions of computation determine monads
G Plotkin, J Power
International Conference on Foundations of Software Science and Computation …, 2002
4222002
Algebraic operations and generic effects
G Plotkin, J Power
Applied categorical structures 11, 69-94, 2003
3852003
Full abstraction for a simple parallel programming language
MCB Hennessy, GD Plotkin
International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979
3851979
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20