World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
33
Citations
5829
World Ranking
12515
National Ranking
5080

Overview

Kim B. Bruce is affiliated with Pomona College in the United States. Their academic profile is centered around their position at this institution.

This scientist's recent scholarly output, frequent co-authors, common publication venues, book publications, main fields and subfields of study, as well as main research topics, are currently not publicly detailed. Likewise, no records of awards won have been documented.

As a researcher, Kim B. Bruce's contributions can be traced primarily through their institutional association. Without specific information on publications or research topics, a detailed overview of their intellectual focus or collaborative networks is unavailable.

Best Publications

  • On Reacting to Assertions and Polar Questions

    Donka F. Farkas;Kim B. Bruce

  • Comparing object encodings

    Kim B. Bruce;Luca Cardelli;Benjamin C. Pierce

  • On binary methods

    Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens

  • A statically safe alternative to virtual types

    K. B. Bruce;M. Odersky;P. Wadler

  • Computing curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force

    Allen B. Tucker;Robert M. Aiken;Keith Barker;Kim B. Bruce

  • A paradigmatic object-oriented programming language: Design, static typing and semantics†

    Kim B. Bruce

  • PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language

    Kim B. Bruce;Angela Schuett;Robert van Gent

  • Foundations of object-oriented languages: types and semantics

    Kim B. Bruce

  • Subtyping is not a good “match” for object-oriented languages

    Kim B. Bruce;Leaf Petersen;Adrian Fiech

  • A modest model of records, inheritance and bounded quantification

    K.B. Bruce;G. Longo

  • PER models of subtyping, recursive types and higher-order polymorphism

    Kim Bruce;John C. Mitchell

  • Safe type checking in a statically-typed object-oriented programming language

    Kim B. Bruce

  • Provable isomorphisms of types

    Kim B. Bruce;Roberto Di Cosmo;Giuseppe Longo

  • The semantics of second-order lambda calculus

    Kim B. Bruce;Albert R. Meyer;John C. Mitchell

  • Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list

    Kim B. Bruce

  • PolyTOIL: A type-safe polymorphic object-oriented language

    Kim B. Bruce;Angela Schuett;Robert van Gent;Adrian Fiech

  • The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations

    Roberto M. Amadio;Kim B. Bruce;Giuseppe Longo

  • An algebraic model of subtype and inheritance

    Kim B. Bruce;Peter Wegner

  • Resolved: objects early has failed

    Owen Astrachan;Kim Bruce;Elliot Koffman;Michael Kölling

  • A library to support a graphics-based object-first approach to CS 1

    Kim B. Bruce;Andrea Danyluk;Thomas Murtagh

Frequent Co-Authors

James Noble
James Noble Victoria University of Wellington
Peter Wegner
Peter Wegner Brown University
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Luca Cardelli
Luca Cardelli University of Oxford
Gary T. Leavens
Gary T. Leavens University of Central Florida
Philip Wadler
Philip Wadler University of Edinburgh
Martin Odersky
Martin Odersky École Polytechnique Fédérale de Lausanne
John C. Mitchell
John C. Mitchell Stanford University
Robert Harper
Robert Harper Carnegie Mellon University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering studying Computer Science in the USA, you might also explore related fields and online degrees with promising career pathways. Today, more universities are offering flexible online programs that allow you to gain technical expertise while balancing personal and professional commitments.

Affordable pathways are available for those interested in adjacent fields. For example, students curious about environmental technology might look into the cheapest online environmental science degree programs, which focus on sustainability and environmental systems. Aspiring engineers can consider the cheapest online mechanical engineering degree programs—a strong option for those interested in robotics and automation.

STEM options don’t stop there. If your passion lies in understanding the laws of nature, you may wonder: can you get a physics degree online? The answer is yes, with several institutions now offering fully online physics degrees. Likewise, the tech-driven world is fueling demand for data expertise, and many universities offer data science programs you can complete online.

Each of these degrees represents a practical and accessible way to enter fast-growing STEM fields—no matter where you are located.

Best Scientists Citing Kim B. Bruce

Trending Scientists

Recently Published Articles