Kim Bruce

Cited by

	All	Since 2020
Citations	5690	832
h-index	37	11
i10-index	66	11

240

120

180

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 9 25 34 49 63 46 111 118 120 104 127 137 230 142 116 223 180 185 236 215 205 181 181 126 155 116 149 160 152 166 195 188 200 149 182 147 163 160 31

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew P. BlackPortland State UniversityVerified email at pdx.edu
James NobleCreative Research & ProgrammingVerified email at acm.org
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Andrea DanylukGlobal Director of ALIGN, Northeastern UniversityVerified email at northeastern.edu
Michael HomerVictoria University of WellingtonVerified email at ecs.vuw.ac.nz
Thomas MurtaghProfessor of Computer Science Emeritus at Williams CollegeVerified email at williams.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Donka FarkasProfessor of Linguistics, UCSCVerified email at ucsc.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Charles KelemenProfessor Emeritus of Computer Science, Swarthmore CollegeVerified email at swarthmore.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Martin OderskyEPFLVerified email at epfl.ch
Owen AstrachanProfessor of the Practice of Computer ScienceVerified email at cs.duke.edu
Michael KöllingProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Robert DrysdaleProfessor Emeritus of Computer Science, Dartmouth CollegeVerified email at cs.dartmouth.edu
Jürgen BörstlerProfessor of Software Engineering, Blekinge Institute of Technology (BTH), SERL-SwedenVerified email at bth.se
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org

Kim Bruce

Emeritus Professor of Computer Science, Pomona College

Verified email at pomona.edu - Homepage

Programming Languages Computer Science Education Linguistics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On reacting to assertions and polar questions DF Farkas, KB Bruce Journal of semantics 27 (1), 81-118, 2010	933	2010
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	344	1997
A paradigmatic object-oriented programming language: Design, static typing and semantics KB Bruce Journal of Functional Programming 4 (2), 127-206, 1994	250	1994
Foundations of object-oriented languages: types and semantics KB Bruce MIT press, 2002	240	2002
PolyTOIL: A type-safe polymorphic object-oriented language KB Bruce, A Schuett, R Van Gent ECOOP’95—Object-Oriented Programming, 9th European Conference, Åarhus …, 1995	209	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	207	1995
A modest model of records, inheritance, and bounded quantification KB Bruce, G Longo Information and Computation 87 (1-2), 196-240, 1990	199	1990
A statically safe alternative to virtual types KB Bruce, M Odersky, P Wadler ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998	192	1998
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	189	1995
Subtyping is not a good “match” for object-oriented languages KB Bruce, L Petersen, A Fiech ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997	181	1997
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Information and Computation 155 (1-2), 108-133, 1999	134	1999
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	129	1992
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	125	1993
Provable isomorphisms of types K Bruce, R Di Cosmo, G Longo Mathematical Structures in Computer Science 2 (2), 231-247, 1992	121	1992
The semantics of second-order lambda calculus KB Bruce, AR Meyer, JC Mitchell Information and Computation 85 (1), 76-134, 1990	121	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	90	2003
An algebraic model of subtype and inheritance KB Bruce, P Wegner Advances in database programming languages, 75-96, 1990	82	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	78	2005
A library to support a graphics-based object-first approach to CS 1 KB Bruce, A Danyluk, T Murtagh Proceedings of the thirty-second SIGCSE technical symposium on Computer …, 2001	74	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors