Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Butler LampsonTechnical Fellow, Microsoft ResearchVerified email at lampsons.us
Andrew J. MillarUniversity of EdinburghVerified email at ed.ac.uk
Follow

Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Verified email at inf.ed.ac.uk