Benjamin C. Pierce

Citée par

	Toutes	Depuis 2020
Citations	24867	5095
indice h	69	36
indice i10	177	88

1200

600

300

900

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202568 105 164 162 218 288 357 473 385 436 564 623 760 954 938 1035 956 1041 999 918 895 869 952 944 1017 954 936 1176 912 1074 975 1019 999 108

Accès public

Tout afficher

33 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Cătălin HrițcuTenured Faculty at MPI-SPAdresse e-mail validée de mpi-sp.org
Alan SchmittInria, IRISAAdresse e-mail validée de inria.fr
Nate FosterProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
Haruo HosoyaATR InternationalAdresse e-mail validée de atr.jp
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityAdresse e-mail validée de kuis.kyoto-u.ac.jp
Arthur Azevedo de AmorimRochester Institute of TechnologyAdresse e-mail validée de rit.edu
Andreas HaeberlenUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandAdresse e-mail validée de umd.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceAdresse e-mail validée de stevens.edu
Marco GaboardiBoston UniversityAdresse e-mail validée de bu.edu
Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Jérôme VouillonCNRS, Université Paris DiderotAdresse e-mail validée de pps.univ-paris-diderot.fr
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Andre DeHonUniversity of PennsylvaniaAdresse e-mail validée de acm.org
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéAdresse e-mail validée de irif.fr
Eijiro SumiiTohoku UniversityAdresse e-mail validée de ecei.tohoku.ac.jp
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresse e-mail validée de chalmers.se
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeAdresse e-mail validée de pomona.edu

Suivre

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

Adresse e-mail validée de cis.upenn.edu - Page d'accueil

Programming languages type systems security and privacy functional programming formal specification and verification


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Types and programming languages BC Pierce MIT press, 2002	4114	2002
Featherweight Java: a minimal core calculus for Java and GJ A Igarashi, BC Pierce, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001	1719	2001
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17-es, 2007	787	2007
Basic category theory for computer scientists BC Pierce MIT press, 1991	778	1991
XDuce: A statically typed XML processing language H Hosoya, BC Pierce ACM Transactions on Internet Technology (TOIT) 3 (2), 117-148, 2003	722*	2003
Pict: A programming language based on the pi-calculus BC Pierce, DN Turner	641	2000
Typing and subtyping for mobile processes B Pierce, D Sangiorgi Mathematical Structures in Computer Science 6 (5), 409-453, 1996	640	1996
Local type inference BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (1), 1-44, 2000	615	2000
Linearity and the pi-calculus N Kobayashi, BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999	563	1999
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	563	1991
Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005	424	2005
Differential privacy: An economic method for choosing epsilon J Hsu, M Gaboardi, A Haeberlen, S Khanna, A Narayan, BC Pierce, ... 2014 IEEE 27th Computer Security Foundations Symposium, 398-410, 2014	417	2014
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	347	1997
On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	344	1995
Distance makes the types grow stronger: a calculus for differential privacy J Reed, BC Pierce Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010	337	2010
Advanced topics in types and programming languages BC Pierce MIT press, 2024	336	2024
Simple type-theoretic foundations for object-oriented programming BC Pierce, DN Turner Journal of functional programming 4 (2), 207-247, 1994	314	1994
Differential privacy under fire A Haeberlen, BC Pierce, A Narayan 20th USENIX Security Symposium (USENIX Security 11), 2011	313	2011
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	309	2008
Relational lenses: a language for updatable views A Bohannon, BC Pierce, JA Vaughan Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on …, 2006	298	2006

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs