Kim B. Bruce

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 8

Top Topics

Multiple Inheritance

Computing Education

Critical Reflection

Introductory Programming

Top Venues

Eelco Visser Commemorative Symposium

Publications

Andrew P. Black, Kim B. Bruce, James Noble
The Importance of Being Eelco. Eelco Visser Commemorative Symposium (2023)
Kim B. Bruce, Fred G. Martin
Point-Counterpoint: Critical reflection need not mean accreditation. Inroads 10 (1) (2019)
Kim B. Bruce
Five big open questions in computing education. Inroads 9 (4) (2018)
James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones
Grace's Inheritance. J. Object Technol. 16 (2) (2017)
Andrew P. Black, Kim B. Bruce, James Noble
The Essence of Inheritance. A List of Successes That Can Change the World (2016)
James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller
The left hand of equals. Onward! (2016)
Andrew P. Black, Kim B. Bruce, James Noble
The Essence of Inheritance. CoRR (2016)
Timothy Jones, Michael Homer, James Noble, Kim B. Bruce
Object Inheritance Without Classes. ECOOP (2016)
Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
Graceful Dialects. ECOOP (2014)
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)
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)
Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble
Grace: the absence of (inessential) difficulty. Onward! (2012)
Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce
Patterns as objects in grace. DLS (2012)
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)
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) (2010)
Donka F. Farkas, Kim B. Bruce
On Reacting to Assertions and Polar Questions. J. Semant. 27 (1) (2010)
Andrew P. Black, Kim B. Bruce, James Noble
Panel: designing the next educational programming language. SPLASH/OOPSLA Companion (2010)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Introducing concurrency in CS 1. SIGCSE (2010)
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)
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) (2008)
Kim B. Bruce, Stephen N. Freund
Programming languages as part of core computer science. ACM SIGPLAN Notices 43 (11) (2008)
Kim B. Bruce, Stephen N. Freund
Programming languages in a liberal arts education. ACM SIGPLAN Notices 43 (11) (2008)
Eric S. Roberts, Kim B. Bruce, James H. Cross II, Robb Cutler, Scott Grissom, Karl Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin
The ACM java task force: final report. SIGCSE (2006)
Kim B. Bruce
Using abstractions to make concepts concrete. SIGCSE (2005)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Why structural recursion should be taught before arrays in CS 1. SIGCSE (2005)
Kim B. Bruce
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. 37 (2) (2005)
Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges
Resolved: objects early has failed. SIGCSE (2005)
Joe Bergin, Kim B. Bruce, Michael Kölling
Objects-early tools: a demonstration. SIGCSE (2005)
Eric S. Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin
The ACM java task force: status report. SIGCSE (2005)
Kim B. Bruce
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. 36 (4) (2004)
Kim B. Bruce, J. Nathan Foster
LOOJ: Weaving LOOM into Java. ECOOP (2004)
Kim B. Bruce, Andrea Pohoreckyj Danyluk
Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion (2004)
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)
Kim B. Bruce
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ITiCSE-WGR (2004)
Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops (2003)
Kim B. Bruce
Some challenging typing issues in object-oriented languages. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
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) (2003)
Kim B. Bruce
Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference (2003)
Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker
Why math? Commun. ACM 46 (9) (2003)
Kim B. Bruce
Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 175 (1) (2002)
Kim B. Bruce, Didier Rémy
Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172 (1) (2002)
Isabel Michiels, Jürgen Börstler, Kim B. Bruce
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops (2002)
Allen B. Tucker, Charles Kelemen, Kim B. Bruce
Our curriculum has become math-phobic! SIGCSE (2001)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
A library to support a graphics-based object-first approach to CS 1. SIGCSE (2001)
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
Event-driven programming is simple enough for CS1. ITiCSE (2001)
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)
Kim B. Bruce
Curriculum 2001 Draft Found Lacking in Programming Languages. ACM SIGPLAN Notices 35 (4) (2000)
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
Comparing Object Encodings. Inf. Comput. 155 (1-2) (1999)
Kim B. Bruce
Formal semantics and interpreters in a principles of programming languages course. SIGCSE (1999)
Kim B. Bruce, Joseph Vanderwaart
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. MFPS (1999)
Kim B. Bruce, Martin Odersky, Philip Wadler
A Statically Safe Alternative to Virtual Types. ECOOP (1998)
Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi
Panel: logic in the computer science curriculum. SIGCSE (1998)
Kim B. Bruce, Benjamin C. Pierce
Editorial - Third Workshop on Foundations of Object-Oriented Languages. Theory Pract. Object Syst. 4 (1) (1998)
Kim B. Bruce, Leaf Petersen, Adrian Fiech
Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP (1997)
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
Comparing Object Encodings. TACS (1997)
Kim B. Bruce
Process in Programming Languages. ACM Comput. Surv. 28 (1) (1996)
Kim B. Bruce
Thoughts on Computer Science Education. ACM Comput. Surv. 28 (4es) (1996)
Kim B. Bruce, Angela Schuett, Robert van Gent
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ECOOP (1995)
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) (1995)
Kim B. Bruce
Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE (1994)
Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley
Describing the CS forest to undergraduates (abstract). SIGCSE (1994)
Kim B. Bruce
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. J. Funct. Program. 4 (2) (1994)
Kim B. Bruce
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL (1993)
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)
Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. MFPS (1993)
Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
Provable Isomorphisms of Types. Math. Struct. Comput. Sci. 2 (2) (1992)
Kim B. Bruce, John C. Mitchell
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL (1992)
Kim B. Bruce
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. MFPS (1991)
Kim B. Bruce, Giuseppe Longo
A Modest Model of Records, Inheritance and Bounded Quantification Inf. Comput. 87 (1/2) (1990)
Kim B. Bruce, Albert R. Meyer, John C. Mitchell
The Semantics of Second-Order Lambda Calculus Inf. Comput. 85 (1) (1990)
Kim B. Bruce, Giuseppe Longo
A Modest Model of Records, Inheritance and Bounded Quantification LICS (1988)
Kim B. Bruce, Jon G. Riecke
The Semantics of Miranda's Algebraic Types. MFPS (1987)
Kim B. Bruce, Peter Wegner
An Algebraic Model of Subtype and Inheritance. DBPL (1987)
Kim B. Bruce
Model constructions in stationary logic. II. Definable ultrapowers. Notre Dame J. Formal Log. 27 (2) (1986)
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)
Kim B. Bruce, Peter Wegner
An algebraic model of sybtypes in object-oriented languages (draft). ACM SIGPLAN Notices 21 (10) (1986)
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)
Kim B. Bruce, Giuseppe Longo
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) STOC (1985)
Kim B. Bruce, Albert R. Meyer
The Semantics of Second Order Polymorphic Lambda Calculus. Semantics of Data Types (1984)
Kim B. Bruce, Giuseppe Longo
On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31 (1984)
Kim B. Bruce
Model Constructions in Stationary Logic. Part I. Forcing. J. Symb. Log. 45 (3) (1980)
Kim B. Bruce, H. Jerome Keisler
(\Finv). J. Symb. Log. 44 (1) (1979)
Kim B. Bruce
Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). J. Symb. Log. 43 (2) (1978)