Benjamin C. Pierce

Navedeno

	Vse	Od leta 2019
Navedbe	24692	6092
indeks h	69	40
indeks i10	177	94

1200

600

300

900

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202468 105 164 162 218 288 357 472 384 437 564 624 760 952 941 1035 953 1041 994 919 895 871 954 944 1009 946 942 1170 912 1082 979 1013 925

Javni dostop

Prikaži vse

32 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Cătălin HrițcuTenured Faculty at MPI-SPPreverjeni e-poštni naslov na mpi-sp.org
Alan SchmittInria, IRISAPreverjeni e-poštni naslov na inria.fr
Nate FosterProfessor of Computer Science, Cornell UniversityPreverjeni e-poštni naslov na cs.cornell.edu
Haruo HosoyaATR InternationalPreverjeni e-poštni naslov na atr.jp
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityPreverjeni e-poštni naslov na kuis.kyoto-u.ac.jp
Arthur Azevedo de AmorimRochester Institute of TechnologyPreverjeni e-poštni naslov na rit.edu
Andreas HaeberlenUniversity of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Leonidas LampropoulosAssistant Professor, University of MarylandPreverjeni e-poštni naslov na umd.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Michael GreenbergStevens Institute of Technology - Department of Computer SciencePreverjeni e-poštni naslov na stevens.edu
Marco GaboardiBoston UniversityPreverjeni e-poštni naslov na bu.edu
Luca CardelliUniversity of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Jérôme VouillonCNRS, Université Paris DiderotPreverjeni e-poštni naslov na pps.univ-paris-diderot.fr
Philip WadlerUniversity of Edinburgh and IOHK/IOGPreverjeni e-poštni naslov na inf.ed.ac.uk
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéPreverjeni e-poštni naslov na irif.fr
Andre DeHonUniversity of PennsylvaniaPreverjeni e-poštni naslov na acm.org
Eijiro SumiiTohoku UniversityPreverjeni e-poštni naslov na ecei.tohoku.ac.jp
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityPreverjeni e-poštni naslov na chalmers.se
Kim BruceEmeritus Professor of Computer Science, Pomona CollegePreverjeni e-poštni naslov na pomona.edu

Spremljaj

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

Preverjeni e-poštni naslov na cis.upenn.edu - Domača stran

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


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Types and programming languages BC Pierce MIT press, 2002	4082	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	1712	2001
Basic category theory for computer scientists BC Pierce MIT press, 1991	776	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	775	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	642	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	610	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	564	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	561	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	423	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	410	2014
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	345	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	335	2010
Advanced topics in types and programming languages BC Pierce MIT press, 2024	334	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	310	2011
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	307	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	293	2006

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji