Theo dõi
Gordon Plotkin
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Email được xác minh tại inf.ed.ac.uk
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
A structural approach to operational semantics
GD Plotkin
Computer Science Department, Aarhus University, 1981
51311981
A framework for defining logics
R Harper, F Honsell, G Plotkin
Journal of the ACM (JACM) 40 (1), 143-184, 1993
20801993
Call-by-name, call-by-value and the λ-calculus
GD Plotkin
Theoretical computer science 1 (2), 125-159, 1975
18571975
LCF considered as a programming language
GD Plotkin
Theoretical computer science 5 (3), 223-255, 1977
16161977
A note on inductive generalization
GD Plotkin
Machine intelligence 5 (1), 153-163, 1970
16071970
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
15461981
A powerdomain construction
GD Plotkin
SIAM Journal on Computing 5 (3), 452-487, 1976
9461976
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
8441993
The category-theoretic solution of recursive domain equations
MB Smyth, GD Plotkin
SIAM Journal on Computing 11 (4), 761-783, 1982
7861982
Abstract types have existential type
JC Mitchell, GD Plotkin
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988
7841988
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
5591991
Building-in equational theories
G Plotkin
Machine intelligence 7, 73-90, 1972
5481972
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
5341999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
5261997
A probabilistic powerdomain of evaluations
C Jones, GD Plotkin
Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989
5101989
A further note on inductive generalization
GD Plotkin
Machine intelligence 6, 101-124, 1971
4831971
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
4691984
Notions of computation determine monads
G Plotkin, J Power
International Conference on Foundations of Software Science and Computation …, 2002
4402002
Full abstraction for a simple parallel programming language
MCB Hennessy, GD Plotkin
International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979
3961979
Algebraic operations and generic effects
G Plotkin, J Power
Applied categorical structures 11, 69-94, 2003
3932003
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20