Types and programming languages BC Pierce MIT press, 2002 | 4022 | 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 | 1694 | 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 | 764 | 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 | 638 | 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 | 595 | 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 | 561 | 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 | 418 | 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 | 393 | 2014 |
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997 | 343 | 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 | 340 | 1995 |
Advanced topics in types and programming languages BC Pierce MIT press, 2024 | 329 | 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 | 322 | 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 | 300 | 2008 |
Differential privacy under fire A Haeberlen, BC Pierce, A Narayan 20th USENIX Security Symposium (USENIX Security 11), 2011 | 298 | 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 | 291 | 2006 |