Prati
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Potvrđena adresa e-pošte na cis.upenn.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
Types and programming languages
BC Pierce
MIT press, 2002
39452002
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
16922001
Basic category theory for computer scientists
BC Pierce
MIT press, 1991
7581991
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
7562007
XDuce: A statically typed XML processing language
H Hosoya, BC Pierce
ACM Transactions on Internet Technology (TOIT) 3 (2), 117-148, 2003
729*2003
Pict: a programming language based on the Pi-Calculus.
BC Pierce, DN Turner
Proof, language, and interaction, 455-494, 2000
6422000
Typing and subtyping for mobile processes
B Pierce, D Sangiorgi
Mathematical Structures in Computer Science 6 (5), 409-453, 1996
6421996
Local type inference
BC Pierce, DN Turner
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (1), 1-44, 2000
5852000
Linearity and the pi-calculus
N Kobayashi, BC Pierce, DN Turner
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (5), 914-947, 1999
5601999
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
5561991
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
4072005
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
3752014
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3391997
Advanced topics in types and programming languages
BC Pierce
MIT press, 2004
3172004
Simple type-theoretic foundations for object-oriented programming
BC Pierce, DN Turner
Journal of functional programming 4 (2), 207-247, 1994
3141994
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
3082010
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
2892006
Engineering formal metatheory
B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich
Acm sigplan notices 43 (1), 3-15, 2008
2882008
Differential privacy under fire
A Haeberlen, BC Pierce, A Narayan
20th USENIX Security Symposium (USENIX Security 11), 2011
2842011
Bounded quantification is undecidable
BC Pierce
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
2681992
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20