Kim Bruce | Academic Influence

Kim Bruce's AcademicInfluence.com Rankings

Kim Bruce

Computer Science

#2729

World Rank

#2857

Historical Rank

Database

#8375

World Rank

#8762

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Kim Bruce's Degrees

Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Kim Bruce Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kim B. Bruce is an American computer scientist. He is the Emeritus Reuben C. and Eleanor Winslow Professor of Computer Science at Pomona College, and was previously the Frederick Latimer Wells Professor of Computer Science at Williams College. He helped establish the computer science departments at both institutions. His work focuses on the design of programming languages.

(See a Problem?)

Kim Bruce's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On Reacting to Assertions and Polar Questions (2010) (424)
A Statically Safe Alternative to Virtual Types (1998) (275)
Comparing Object Encodings (1997) (274)
On Binary Methods (1995) (250)
Computing curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force (1991) (183)
A paradigmatic object-oriented programming language: Design, static typing and semantics (1994) (182)
A modest model of records, inheritance and bounded quantification (1988) (159)
Foundations of object-oriented languages - types and semantics (2002) (137)
PolyTOIL: A type-safe polymorphic object-oriented language (1995) (133)
Subtyping Is Not a Good "Match" for Object-Oriented Languages (1997) (130)
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list (2004) (126)
Safe type checking in a statically-typed object-oriented programming language (1993) (105)
A library to support a graphics-based object-first approach to CS 1 (2001) (99)
Provable isomorphisms of types (1992) (96)
PER models of subtyping, recursive types and higher-order polymorphism (1992) (94)
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list (2004) (91)
The Semantics of Second-Order Lambda Calculus (1990) (87)
An Algebraic Model of Subtype and Inheritance (1990) (72)
Safe and decidable type checking in an object-oriented language (1993) (62)
Resolved: objects early has failed (2005) (62)
Some challenging typing issues in object-oriented languages (2003) (58)
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations (1986) (57)
Provable isomorphisms and domain equations in models of typed languages (1985) (53)
The Semantics of Second Order Polymorphic Lambda Calculus (1984) (49)
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages (1999) (47)
Grace: the absence of (inessential) difficulty (2012) (46)
Our curriculum has become math-phobic! (2001) (46)
LOOJ: Weaving LOOM into Java (2004) (45)
Seeking grace: a new object-oriented language for novices (2013) (40)
Java: An Eventful Approach (2005) (35)
An algebraic model of sybtypes in object-oriented languages (draft) (1986) (35)
Event-driven programming is simple enough for CS1 (2001) (33)
Guest Editorial: Foundations of Object-Oriented Languages (2002) (30)
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages (1991) (29)
Why math? (2003) (28)
Introducing concurrency in CS 1 (2010) (27)
Why structural recursion should be taught before arrays in CS 1 (2005) (26)
The ACM java task force: final report (2006) (25)
Patterns as objects in grace (2012) (25)
Has our curriculum become math-phobic? (an American perspective) (2000) (23)
Increasing Java's expressiveness with ThisType and match-bounded polymorphism (1997) (21)
Graceful Dialects (2014) (20)
Typing in object-oriented languages: Achieving expressiveness and safety (1996) (18)
Object Inheritance Without Classes (2016) (17)
Panel: designing the next educational programming language (2010) (17)
Thoughts on computer science education (1996) (16)
Safe Static Type Checking With Systems of Mutually Recursive Classes and Inheritance (1997) (15)
A History of the Liberal Arts Computer Science Consortium and its Model Curricula (2010) (14)
Ideal models and some not so ideal problems in the model theory of L(Q) (1978) (13)
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language (1993) (13)
Event-driven programming facilitates learning standard programming concepts (2004) (12)
Event-driven Programming can be Simple Enough for CS 1 (2001) (10)
Model-Theoretic Forcing in Logic With a Generalized Quantifier (1978) (10)
The first-course conundrum (1995) (8)
Foundations of Object-Oriented Languages (2002) (8)
Guest Editorial: Workshop on Foundations of Object-Oriented Languages (2002) (8)
Objects-early tools: a demonstration (2005) (7)
Modules in LOOM: Classes are not enough (1998) (7)
Modules as gradually-typed objects (2013) (7)
Progress in programming languages (1996) (7)
On Combinatory Algebras and their Expansions (1984) (7)
The Essence of Inheritance (2016) (7)
Object-Oriented Technology ECOOP 2002 Workshop Reader (2002) (7)
Formal semantics and interpreters in a principles of programming languages course (1999) (6)
Five big open questions in computing education (2018) (6)
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations (2008) (6)
The Grace Programming Language Draft Specification Version 0.3.1261 (2013) (6)
Tools and Environments for Learning Object-Oriented Concepts (2002) (5)
The 2003 model curriculum for a liberal arts degree in computer science: preliminary report (2004) (5)
Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students (1994) (5)
The left hand of equals (2016) (5)
Modules and Dialects as Objects in Grace (2013) (4)
Events and objects first: an innovative approach to teaching JAVA in CS 1 (2001) (4)
Designing Grace: Can an introductory programming language support the teaching of software engineering? (2013) (4)
Curricula in concurrency and parallelism (2010) (4)
Grace's Inheritance (2017) (4)
Why Undergraduates Should Learn the Principles of Programming Languages (2011) (4)
Uncommon Teaching Languages (2016) (4)
Curriculum 2001 draft found lacking in programming languages (2000) (3)
The ACM java task force: status report (2005) (3)
Creating a New Model Curriculum: A Rationale for "Computing Curricula 1990". (1991) (2)
Programming languages as part of core computer science (2008) (2)
Context Structure for Dialogues (2007) (2)
Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report (2009) (2)
Using abstractions to make concepts concrete (2005) (2)
Panel: logic in the computer science curriculum (1998) (2)
Recognizing the most influential CS education papers (2010) (2)
Describing the CS forest to undergraduates (abstract) (1994) (1)
An algebraic model of subtype in object-oriented languages (abstract only) (1986) (1)
Editorial - Third Workshop on Foundations of Object-Oriented Languages (1998) (1)
SOOL, a Simple Object-Oriented Language (2002) (1)
On Binary Methods on Binary Methods (1995) (1)
Teaching programming with Grace at Portland state (2018) (1)
Extending Simple Object-Oriented Languages (2002) (0)
A Simple Translational Semantics of Objects and Classes (2002) (0)
Session details: Special session (2009) (0)
Simplifying: Dropping Subtyping for Matching (2002) (0)
Foundations: The Lambda Calculus (2002) (0)
Formal Descriptions of Object-Oriented Languages (2002) (0)
Imperative Language Paradigm (2014) (0)
Type Problems in Object-Oriented Languages (2002) (0)
Model constructions in stationary logic. Part I. Forcing (1980) (0)
Match-Bounded Polymorphism (2002) (0)
ECOOP 2002 Workshop Report : Sixth Workshop on Tools and Environments for Learning Object-Oriented Concepts Organizers (2002) (0)
ECOOP02 Workshop Report: Sixth Workshop on Tools and Environments for Learning of Object technology (2003) (0)
Magidor Menachem and Malitz Jerome. Compact extensions of L(Q) (Part 1a). Annals of mathematical logic, vol. 11 (1977), pp. 217–261.Kaufmann Matt. A new omitting types theorem for L(Q). The journal of symbolic logic, vol. 44 (1979), pp. 507–521. (1985) (0)
Tools and Environments for the Teaching and Learning of Object technology (2004) (0)
Programming languages in a liberal arts education (2008) (0)
SOOL's Type System Is Safe (and Sound) (2002) (0)
Fundamental Concepts of Object-Oriented Languages (2002) (0)
The Objectdraw Event-Handling Library Contact Information : (2004) (0)
Adding Expressiveness to Object-Oriented Languages (2002) (0)
Bending without Breaking: Making Software More Flexible: Extended Abstract (2003) (0)
Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance (2002) (0)
Adding Bounded Polymorphism to SOOL (2002) (0)
Adding MyType to Object-Oriented Programming Languages (2002) (0)
The Importance of Being Eelco (2023) (0)
Model constructions in stationary logic. II. Definable ultrapowers (1986) (0)
Varieties of Object-Oriented Programming Languages (2002) (0)
A computer science curriculum for liberal arts colleges (panel session) (1985) (0)
Formal Language Descriptions and the Lambda Calculus (2002) (0)
Professor Spaord's Involvement with Software Engineering and Security Include Positions on the Editorial Boards of the Journals Computing Systems about the Author 4 Concluding Remarks (1991) (0)
The Polymorphic Lambda Calculus (2002) (0)
Point-CounterpointCritical reflection need not mean accreditation (2019) (0)
Programming with Grace: Saturday plenary session (2015) (0)
The Semantics of Miranda's Algebraic Types (1987) (0)
Improved Semantics for Classes (2002) (0)
Review: Johan van Benthem, Kees Doets, Higher-order Logic (1989) (0)
Type Restrictions on Subclasses (2002) (0)
Historical Notes and References for Section IV (2002) (0)
Liberal arts curriculum and computer science education (panel presentation) (1985) (0)
A Report on a Joint Task Force of the Computer Society of the IEEE and the Association for Computing Machinery (1989) (0)
Review: Menachem Magidor, Jerome Malitz, Compact Extensions of $L(\mathbf{Q})$ (Part 1a); Matt Kaufmann, A New Omitting Types Theorem for $L(Q)$ (1985) (0)

This paper list is powered by the following services:

Other Resources About Kim Bruce

en.wikipedia.org

What Schools Are Affiliated With Kim Bruce?

Kim Bruce is affiliated with the following schools: