Benjamin C. Pierce

Citée par

	Toutes	Depuis 2019
Citations	24452	5886
indice h	68	40
indice i10	175	91

1200

600

300

900

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202468 104 164 162 218 288 357 472 384 437 564 624 758 953 939 1033 953 1040 993 920 897 872 952 942 1006 947 941 1171 912 1073 976 1002 744

Accès public

Tout afficher

32 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
Haruo HosoyaATR InternationalAdresse e-mail validée de atr.jp
Nate FosterProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
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
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéAdresse e-mail validée de irif.fr
Andre DeHonUniversity of PennsylvaniaAdresse e-mail validée de acm.org
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	4051	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	1699	2001
Basic category theory for computer scientists BC Pierce MIT press, 1991	772	1991
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	767	2007
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	639	2000
Typing and subtyping for mobile processes B Pierce, D Sangiorgi Mathematical Structures in Computer Science 6 (5), 409-453, 1996	638	1996
Local type inference BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (1), 1-44, 2000	600	2000
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
Linearity and the pi-calculus N Kobayashi, BC Pierce, DN Turner ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999	560	1999
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	421	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	399	2014
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	344	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	341	1995
Advanced topics in types and programming languages BC Pierce MIT press, 2024	330	2024
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	323	2010
Simple type-theoretic foundations for object-oriented programming BC Pierce, DN Turner Journal of functional programming 4 (2), 207-247, 1994	314	1994
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	301	2008
Differential privacy under fire A Haeberlen, BC Pierce, A Narayan 20th USENIX Security Symposium (USENIX Security 11), 2011	300	2011
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	292	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