Seguir
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
E-mail confirmado em cis.upenn.edu - Página inicial
Título
Citado por
Citado por
Ano
Types and programming languages
BC Pierce
MIT press, 2002
41832002
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
17252001
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
8042007
Basic category theory for computer scientists
BC Pierce
MIT press, 1991
7771991
XDuce: A statically typed XML processing language
H Hosoya, BC Pierce
ACM Transactions on Internet Technology (TOIT) 3 (2), 117-148, 2003
727*2003
Typing and subtyping for mobile processes
B Pierce, D Sangiorgi
Mathematical Structures in Computer Science 6 (5), 409-453, 1996
6461996
Pict: a programming language based on the Pi-Calculus.
BC Pierce, DN Turner
Proof, language, and interaction, 455-494, 2000
6432000
Local type inference
BC Pierce, DN Turner
Acm transactions on programming languages and systems (toplas) 22 (1), 1-44, 2000
6152000
Linearity and the pi-calculus
N Kobayashi, BC Pierce, DN Turner
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999
5671999
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
5601991
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
4222005
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
4172014
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3431997
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
3382010
Advanced topics in types and programming languages
BC Pierce
MIT press, 2024
3372024
Differential privacy under fire
A Haeberlen, BC Pierce, A Narayan
20th USENIX Security Symposium (USENIX Security 11), 2011
3092011
Engineering formal metatheory
B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich
Acm sigplan notices 43 (1), 3-15, 2008
3092008
Simple type-theoretic foundations for object-oriented programming
BC Pierce, DN Turner
Journal of functional programming 4 (2), 207-247, 1994
3091994
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
3042006
Bounded quantification is undecidable
BC Pierce
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
2821992
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20