| On reacting to assertions and polar questions DF Farkas, KB Bruce Journal of semantics 27 (1), 81-118, 2010 | 1037 | 2010 |
| Comparing object encodings KB Bruce, L Cardelli, BC Pierce International Symposium on Theoretical Aspects of Computer Software, 415-438, 1997 | 354 | 1997 |
| A paradigmatic object-oriented programming language: Design, static typing and semantics KB Bruce Journal of Functional Programming 4 (2), 127-206, 1994 | 254 | 1994 |
| Foundations of object-oriented languages: types and semantics KB Bruce MIT press, 2002 | 242 | 2002 |
| PolyTOIL: A type-safe polymorphic object-oriented language KB Bruce, A Schuett, R Van Gent European Conference on Object-Oriented Programming, 27-51, 1995 | 214 | 1995 |
| The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods K Bruce, L Cardelli, G Castagna Theory and Practice of Object Systems 1 (3), 221-242, 1995 | 202 | 1995 |
| 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 | 197 | 1995 |
| A modest model of records, inheritance, and bounded quantification KB Bruce, G Longo Theoretical Aspects of Object-Oriented Programming, 151-195, 1994 | 193 | 1994 |
| A statically safe alternative to virtual types KB Bruce, M Odersky, P Wadler European Conference on Object-Oriented Programming, 523-549, 1998 | 188 | 1998 |
| Subtyping is not a good “match” for object-oriented languages KB Bruce, L Petersen, A Fiech European Conference on Object-Oriented Programming, 104-127, 1997 | 177 | 1997 |
| Comparing object encodings KB Bruce, L Cardelli, BC Pierce Information and Computation 155 (1-2), 108-133, 1999 | 134 | 1999 |
| Safe type checking in a statically-typed object-oriented programming language KB Bruce Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 127 | 1993 |
| PER models of subtyping, recursive types and higher-order polymorphism K Bruce, JC Mitchell Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 126 | 1992 |
| Provable isomorphisms of types K Bruce, R Di Cosmo, G Longo Mathematical Structures in Computer Science 2 (2), 231-247, 1992 | 125 | 1992 |
| The semantics of second-order lambda calculus KB Bruce, AR Meyer, JC Mitchell Information and Computation 85 (1), 76-134, 1990 | 118 | 1990 |
| Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list KB Bruce ACM SIGCSE Bulletin 36 (4), 29-34, 2004 | 100 | 2004 |
| PolyTOIL: A type-safe polymorphic object-oriented language KB Bruce, A Schuett, R Van Gent, A Fiech ACM Transactions on Programming Languages and Systems (ToPLAS) 25 (2), 225-290, 2003 | 89 | 2003 |
| An algebraic model of subtype and inheritance KB Bruce, P Wegner Advances in database programming languages, 75-96, 1990 | 85 | 1990 |
| Resolved: objects early has failed O Astrachan, K Bruce, E Koffman, M Kölling, S Reges ACM SIGCSE Bulletin 37 (1), 451-452, 2005 | 77 | 2005 |
| Why math? KB Bruce, RLS Drysdale, C Kelemen, A Tucker Communications of the ACM 46 (9), 40-44, 2003 | 74 | 2003 |
Andrew P. BlackPortland State UniversityVerified email at pdx.edu
