Gordon Plotkin

Dikutip oleh

	Semua	Sejak 2020
Kutipan	32157	4735
indeks-h	69	35
indeks-i10	151	73

1200

600

300

900

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025221 248 306 348 482 566 620 846 767 738 835 759 708 786 741 704 783 820 857 884 1010 1170 956 1066 974 800 890 913 878 847 748 904 765 937 896 886 886 914 989 164

Akses publik

Lihat semua

12 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail yang diverifikasi di cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityEmail yang diverifikasi di bath.edu
Glynn WinskelUniversity of CambridgeEmail yang diverifikasi di cl.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail yang diverifikasi di cs.mcgill.ca
matthew hennessyProfessor of Computer ScienceEmail yang diverifikasi di cs.tcd.ie
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail yang diverifikasi di cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail yang diverifikasi di cs.au.dk
Luca CardelliUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di andrew.cmu.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtEmail yang diverifikasi di mathematik.tu-darmstadt.de
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoEmail yang diverifikasi di cs.uchicago.edu
Martin HylandProfessor of Mathematical Logic, CambridgeEmail yang diverifikasi di dpmms.cam.ac.uk
Rob van GlabbeekUNSWEmail yang diverifikasi di cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsEmail yang diverifikasi di fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Butler LampsonTechnical Fellow, Microsoft ResearchEmail yang diverifikasi di lampsons.us
John C MitchellProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di Stanford.edu
Andrew J. MillarUniversity of EdinburghEmail yang diverifikasi di ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityEmail yang diverifikasi di slcu.cam.ac.uk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkEmail yang diverifikasi di cs.aau.dk

Ikuti

Gordon Plotkin

Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh

Email yang diverifikasi di inf.ed.ac.uk


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
A structural approach to operational semantics GD Plotkin Computer Science Department, Aarhus University, 1981	5133	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2080	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1858	1975
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1617	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1610	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1546	1981
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	948	1976
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	844	1993
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	786	1988
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	786	1982
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	560	1991
Building-in equational theories G Plotkin Machine intelligence 7, 73-90, 1972	550	1972
Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	535	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	526	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	512	1989
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	483	1971
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	470	1984
Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002	441	2002
Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979	396	1979
Algebraic operations and generic effects G Plotkin, J Power Applied categorical structures 11, 69-94, 2003	393	2003

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama