| Types and programming languages BC Pierce MIT press, 2002 | 4410 | 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 | 1742 | 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 | 817 | 2007 |
| Basic category theory for computer scientists BC Pierce MIT press, 1991 | 805 | 1991 |
| 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 | 650 | 1996 |
| Local type inference BC Pierce, DN Turner Acm transactions on programming languages and systems (toplas) 22 (1), 1-44, 2000 | 645 | 2000 |
| Pict: a programming language based on the Pi-Calculus. BC Pierce, DN Turner Proof, language, and interaction, 455-494, 2000 | 644 | 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 | 574 | 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 | 561 | 1991 |
| 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 | 455 | 2014 |
| Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... International Conference on Theorem Proving in Higher Order Logics, 50-65, 2005 | 442 | 2005 |
| 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 | 358 | 2010 |
| Comparing object encodings KB Bruce, L Cardelli, BC Pierce International Symposium on Theoretical Aspects of Computer Software, 415-438, 1997 | 354 | 1997 |
| Advanced topics in types and programming languages BC Pierce MIT press, 2024 | 348 | 2024 |
| Differential privacy under fire A Haeberlen, BC Pierce, A Narayan 20th USENIX Security Symposium (USENIX Security 11), 2011 | 324 | 2011 |
| Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008 | 316 | 2008 |
| Simple type-theoretic foundations for object-oriented programming BC Pierce, DN Turner Journal of functional programming 4 (2), 207-247, 1994 | 309 | 1994 |
| 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 | 301 | 2006 |
| Bounded quantification is undecidable BC Pierce Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 286 | 1992 |
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
