default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKim B. Bruce
Person information
- affiliation: Pomona College, Claremont, CA, USA
- affiliation (former): Williams College, Williamstown, MA, USA
Other persons with the same name
- Kim Bruce 0002 — Northwestern Oklahoma State University, Alva, OK, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
[b1]Kim B. Bruce:
Foundations of object-oriented languages - types and semantics. MIT Press 2002, ISBN 978-0-262-02523-2, pp. I-XX, 1-384
Journal Articles
- 2019
- [j29]Kim B. Bruce, Fred G. Martin
:
Point-Counterpoint: Critical reflection need not mean accreditation. Inroads 10(1): 21-23 (2019) - 2018
- [j28]Kim B. Bruce:
Five big open questions in computing education. Inroads 9(4): 77-80 (2018) - 2017
- [j27]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones:
Grace's Inheritance. J. Object Technol. 16(2): 2:1-35 (2017) - 2010
- [j26]Kim B. Bruce, Robert D. Cupper, Robert L. Scot Drysdale:
A History of the Liberal Arts Computer Science Consortium and its Model Curricula. ACM Trans. Comput. Educ. 10(1): 3:1-3:12 (2010) - [j25]Donka F. Farkas, Kim B. Bruce:
On Reacting to Assertions and Polar Questions. J. Semant. 27(1): 81-118 (2010) - 2008
- [j24]Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43(11): 6-29 (2008) - [j23]Kim B. Bruce, Stephen N. Freund:
Programming languages in a liberal arts education. ACM SIGPLAN Notices 43(11): 45-49 (2008) - [j22]Kim B. Bruce, Stephen N. Freund:
Programming languages as part of core computer science. ACM SIGPLAN Notices 43(11): 50-54 (2008) - 2005
- [j21]Kim B. Bruce:
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. 37(2): 111-117 (2005) - 2004
- [j20]Kim B. Bruce:
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. 36(4): 29-34 (2004) - 2003
- [j19]Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker:
Why math? Commun. ACM 46(9): 40-44 (2003) - [j18]Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech:
PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst. 25(2): 225-290 (2003) - 2002
- [j17]Kim B. Bruce, Didier Rémy:
Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002) - [j16]Kim B. Bruce:
Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 175(1): 1-2 (2002) - 2000
- [j15]Kim B. Bruce:
Curriculum 2001 Draft Found Lacking in Programming Languages. ACM SIGPLAN Notices 35(4): 26-28 (2000) - 1999
- [j14]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999) - 1998
- [j13]Kim B. Bruce, Benjamin C. Pierce:
Editorial - Third Workshop on Foundations of Object-Oriented Languages. Theory Pract. Object Syst. 4(1): 1 (1998) - 1996
- [j12]Kim B. Bruce:
Process in Programming Languages. ACM Comput. Surv. 28(1): 245-247 (1996) - [j11]Kim B. Bruce:
Thoughts on Computer Science Education. ACM Comput. Surv. 28(4es): 93 (1996) - 1995
- [j10]Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce:
On Binary Methods. Theory Pract. Object Syst. 1(3): 221-242 (1995) - 1994
- [j9]Kim B. Bruce:
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. J. Funct. Program. 4(2): 127-206 (1994) - 1992
- [j8]Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo:
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2(2): 231-247 (1992) - 1990
- [j7]Kim B. Bruce, Albert R. Meyer, John C. Mitchell:
The Semantics of Second-Order Lambda Calculus. Inf. Comput. 85(1): 76-134 (1990) - [j6]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239 (1990) - 1986
- [j5]Kim B. Bruce:
Model constructions in stationary logic. II. Definable ultrapowers. Notre Dame J. Formal Log. 27(2): 257-262 (1986) - 1984
- [j4]Kim B. Bruce, Giuseppe Longo:
On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984) - 1980
- [j3]Kim B. Bruce:
Model Constructions in Stationary Logic. Part I. Forcing. J. Symb. Log. 45(3): 439-454 (1980) - 1979
- [j2]Kim B. Bruce, H. Jerome Keisler:
LA(\Finv). J. Symb. Log. 44(1): 15-28 (1979) - 1978
- [j1]Kim B. Bruce:
Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). J. Symb. Log. 43(2): 304-321 (1978)
Conference and Workshop Papers
- 2023
- [c57]Andrew P. Black, Kim B. Bruce, James Noble:
The Importance of Being Eelco. Eelco Visser Commemorative Symposium 2023: 4:1-4:15 - 2016
- [c56]Andrew P. Black, Kim B. Bruce, James Noble:
The Essence of Inheritance. A List of Successes That Can Change the World 2016: 73-94 - [c55]Timothy Jones, Michael Homer, James Noble, Kim B. Bruce:
Object Inheritance Without Classes. ECOOP 2016: 13:1-13:26 - [c54]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller:
The left hand of equals. Onward! 2016: 224-237 - [c53]Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera:
Uncommon Teaching Languages. SIGCSE 2016: 492-493 - 2014
- [c52]Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black:
Graceful Dialects. ECOOP 2014: 131-156 - 2013
- [c51]James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black:
Designing Grace: Can an introductory programming language support the teaching of software engineering? CSEE&T 2013: 219-228 - [c50]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow:
Seeking grace: a new object-oriented language for novices. SIGCSE 2013: 129-134 - 2012
- [c49]Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce:
Patterns as objects in grace. DLS 2012: 17-28 - [c48]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble:
Grace: the absence of (inessential) difficulty. Onward! 2012: 85-98 - 2010
- [c47]Andrew P. Black, Kim B. Bruce, James Noble:
Panel: designing the next educational programming language. SPLASH/OOPSLA Companion 2010: 201-204 - [c46]Vijay A. Saraswat, Kim Bruce:
Curricula in concurrency and parallelism. SPLASH/OOPSLA Companion 2010: 281-282 - [c45]David G. Kay, Kim B. Bruce, Michael J. Clancy, Nell B. Dale, Mark Guzdial, Eric Roberts:
Recognizing the most influential CS education papers. SIGCSE 2010: 196-197 - [c44]Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh:
Introducing concurrency in CS 1. SIGCSE 2010: 224-228 - 2009
- [c43]Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges:
Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. SIGCSE 2009: 132-133 - 2006
- [c42]Eric S. Roberts, Kim B. Bruce, James H. Cross II, Robb Cutler, Scott Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin:
The ACM java task force: final report. SIGCSE 2006: 131-132 - 2005
- [c41]Kim B. Bruce:
Using abstractions to make concepts concrete. SIGCSE 2005: 1 - [c40]Eric S. Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin:
The ACM java task force: status report. SIGCSE 2005: 46-47 - [c39]Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh:
Why structural recursion should be taught before arrays in CS 1. SIGCSE 2005: 246-250 - [c38]Joe Bergin, Kim B. Bruce, Michael Kölling:
Objects-early tools: a demonstration. SIGCSE 2005: 390-391 - [c37]Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges:
Resolved: objects early has failed. SIGCSE 2005: 451-452 - 2004
- [c36]Kim B. Bruce, J. Nathan Foster:
LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413 - [c35]Kim B. Bruce:
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ITiCSE-WGR 2004: 29-34 - [c34]Kim B. Bruce, Andrea Pohoreckyj Danyluk:
Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion 2004: 96-100 - [c33]Alyce Brady, Kim B. Bruce, Robert E. Noonan, Allen B. Tucker, Henry MacKay Walker:
The 2003 model curriculum for a liberal arts degree in computer science: preliminary report. SIGCSE 2004: 282-283 - 2003
- [c32]Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández:
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2003: 119-129 - [c31]Kim B. Bruce:
Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference 2003: 46-49 - [c30]Kim B. Bruce:
Some challenging typing issues in object-oriented languages. WOOD 2003: 1-29 - 2002
- [c29]Isabel Michiels, Jürgen Börstler, Kim B. Bruce:
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2002: 30-43 - 2001
- [c28]Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh:
Event-driven programming is simple enough for CS1. ITiCSE 2001: 1-4 - [c27]Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh:
A library to support a graphics-based object-first approach to CS 1. SIGCSE 2001: 6-10 - [c26]Allen B. Tucker, Charles Kelemen, Kim B. Bruce:
Our curriculum has become math-phobic! SIGCSE 2001: 243-247 - 2000
- [c25]Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce:
Has our curriculum become math-phobic? (an American perspective). ITiCSE 2000: 132-135 - 1999
- [c24]Kim B. Bruce:
Formal semantics and interpreters in a principles of programming languages course. SIGCSE 1999: 331-335 - [c23]Kim B. Bruce, Joseph Vanderwaart:
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. MFPS 1999: 50-75 - 1998
- [c22]Kim B. Bruce, Martin Odersky, Philip Wadler:
A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549 - [c21]Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi:
Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377 - 1997
- [c20]Kim B. Bruce, Leaf Petersen, Adrian Fiech:
Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP 1997: 104-127 - [c19]Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce:
Comparing Object Encodings. TACS 1997: 415-438 - 1995
- [c18]Kim B. Bruce, Angela Schuett, Robert van Gent:
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ECOOP 1995: 27-51 - 1994
- [c17]Kim B. Bruce:
Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE 1994: 243-247 - [c16]Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley:
Describing the CS forest to undergraduates (abstract). SIGCSE 1994: 369-370 - 1993
- [c15]Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy:
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. MFPS 1993: 603-626 - [c14]Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller:
Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA 1993: 29-46 - [c13]Kim B. Bruce:
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL 1993: 285-298 - 1992
- [c12]Kim B. Bruce, John C. Mitchell:
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL 1992: 316-327 - 1991
- [c11]Kim B. Bruce:
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. MFPS 1991: 102-124 - 1988
- [c10]Kim B. Bruce, Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50 - 1987
- [c9]Kim B. Bruce, Peter Wegner:
An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96 - [c8]Kim B. Bruce, Jon G. Riecke:
The Semantics of Miranda's Algebraic Types. MFPS 1987: 455-473 - 1986
- [c7]Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo:
The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations. LICS 1986: 122-130 - [c6]Kim B. Bruce, Peter Wegner:
An algebraic model of sybtypes in object-oriented languages (draft). OOPWORK 1986: 163-172 - [c5]Kim Bruce, Peter Wegner:
An algebraic model of subtype in object-oriented languages (abstract only). OOPWORK 1986: 183-184 - 1985
- [c4]Norman E. Gibbs, Joyce Brennan, Kim B. Bruce, Allen B. Tucker, Paul R. Young:
Liberal arts curriculum and computer science education (Panel Presentation). ACM Annual Conference 1985: 111 - [c3]Kim Bruce, Robert D. Cupper, Stuart Hirshfield, Ted Sjoerdsma, Allen B. Tucker, Norman E. Gibbs:
A computer science curriculum for liberal arts colleges (panel session). SIGCSE 1985: 115 - [c2]Kim B. Bruce, Giuseppe Longo:
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version). STOC 1985: 263-272 - 1984
- [c1]Kim B. Bruce, Albert R. Meyer:
The Semantics of Second Order Polymorphic Lambda Calculus. Semantics of Data Types 1984: 131-144
Parts in Books or Collections
- 2014
- [p1]Michael J. Jipping, Kim B. Bruce:
Imperative Language Paradigm. Computing Handbook, 3rd ed. (1) 2014: 63: 1-22
Reference Works
- 1997
- [r1]Michael J. Jipping, Kim B. Bruce:
The Imperative Language Paradigm. The Computer Science and Engineering Handbook 1997: 1983-2005
Informal and Other Publications
- 2016
- [i1]Andrew P. Black, Kim B. Bruce, James Noble:
The Essence of Inheritance. CoRR abs/1601.02059 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
