Kim B. Bruce

According to our database, Kim B. Bruce authored at least 85 papers between 1978 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

The Importance of Being Eelco.

Andrew P. Black, Kim B. Bruce, James Noble

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2019

Point-Counterpoint: Critical reflection need not mean accreditation.

Kim B. Bruce, Fred G. Martin

Inroads, 2019

2018

Five big open questions in computing education.

Kim B. Bruce

Inroads, 2018

2017

Grace's Inheritance.

James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones

J. Object Technol., 2017

2016

Uncommon Teaching Languages.

Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

The left hand of equals.

James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Object Inheritance Without Classes.

Timothy Jones, Michael Homer, James Noble, Kim B. Bruce

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

The Essence of Inheritance.

Andrew P. Black, Kim B. Bruce, James Noble

Proceedings of the A List of Successes That Can Change the World, 2016

2014

Graceful Dialects.

Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Imperative Language Paradigm.

Michael J. Jipping, Kim B. Bruce

Proceedings of the Computing Handbook, 2014

2013

Seeking grace: a new object-oriented language for novices.

Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Designing Grace: Can an introductory programming language support the teaching of software engineering?

James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

Grace: the absence of (inessential) difficulty.

Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Patterns as objects in grace.

Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2010

On Reacting to Assertions and Polar Questions.

Donka F. Farkas, Kim B. Bruce

J. Semant., 2010

A History of the Liberal Arts Computer Science Consortium and its Model Curricula.

Kim B. Bruce, Robert D. Cupper, Robert L. Scot Drysdale

ACM Trans. Comput. Educ., 2010

Recognizing the most influential CS education papers.

David G. Kay, Kim B. Bruce, Michael J. Clancy, Nell B. Dale, Mark Guzdial, Eric Roberts

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Introducing concurrency in CS 1.

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Curricula in concurrency and parallelism.

Vijay A. Saraswat, Kim Bruce

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Panel: designing the next educational programming language.

Andrew P. Black, Kim B. Bruce, James Noble

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report.

Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

2008

Programming languages as part of core computer science.

Kim B. Bruce, Stephen N. Freund

ACM SIGPLAN Notices, 2008

Programming languages in a liberal arts education.

Kim B. Bruce, Stephen N. Freund

ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.

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

ACM SIGPLAN Notices, 2008

2006

The ACM java task force: final report.

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

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

2005

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

Kim B. Bruce

ACM SIGCSE Bull., 2005

The ACM java task force: status report.

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

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Why structural recursion should be taught before arrays in CS 1.

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Using abstractions to make concepts concrete.

Kim B. Bruce

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Objects-early tools: a demonstration.

Joe Bergin, Kim B. Bruce, Michael Kölling

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Resolved: objects early has failed.

Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

The 2003 model curriculum for a liberal arts degree in computer science: preliminary report.

Alyce Brady, Kim B. Bruce, Robert E. Noonan, Allen B. Tucker, Henry MacKay Walker

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Event-driven programming facilitates learning standard programming concepts.

Kim B. Bruce, Andrea Pohoreckyj Danyluk

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

LOOJ: Weaving LOOM into Java.

Kim B. Bruce, J. Nathan Foster

Proceedings of the ECOOP 2004, 2004

2003

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

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

ACM Trans. Program. Lang. Syst., 2003

Some challenging typing issues in object-oriented languages.

Kim B. Bruce

Proceedings of the Workshop on Object Oriented Developments, 2003

Why math?

Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker

Commun. ACM, 2003

Bending without Breaking: Making Software More Flexible: Extended Abstract.

Kim B. Bruce

Proceedings of the Perspectives of Systems Informatics, 2003

Tools and Environments for Learning Object-Oriented Concepts.

Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

Guest Editorial: Foundations of Object-Oriented Languages.

Kim B. Bruce, Didier Rémy

Inf. Comput., 2002

Guest Editorial: Workshop on Foundations of Object-Oriented Languages.

Kim B. Bruce

Inf. Comput., 2002

Tools and Environments for Learning Object-Oriented Concepts.

Isabel Michiels, Jürgen Börstler, Kim B. Bruce

Proceedings of the Object-Oriented Technology, 2002

Foundations of object-oriented languages - types and semantics.

Kim B. Bruce

MIT Press, ISBN: 978-0-262-02523-2, 2002

2001

Our curriculum has become math-phobic!

Allen B. Tucker, Charles Kelemen, Kim B. Bruce

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

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

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Event-driven programming is simple enough for CS1.

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

2000

Curriculum 2001 Draft Found Lacking in Programming Languages.

Kim B. Bruce

ACM SIGPLAN Notices, 2000

Has our curriculum become math-phobic? (an American perspective).

Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

1999

Comparing Object Encodings.

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

Inf. Comput., 1999

Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.

Kim B. Bruce, Joseph Vanderwaart

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Formal semantics and interpreters in a principles of programming languages course.

Kim B. Bruce

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998

Editorial - Third Workshop on Foundations of Object-Oriented Languages.

Kim B. Bruce, Benjamin C. Pierce

Theory Pract. Object Syst., 1998

Panel: logic in the computer science curriculum.

Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A Statically Safe Alternative to Virtual Types.

Kim B. Bruce, Martin Odersky, Philip Wadler

Proceedings of the ECOOP'98, 1998

1997

Subtyping Is Not a Good "Match" for Object-Oriented Languages.

Kim B. Bruce, Leaf Petersen, Adrian Fiech

Proceedings of the ECOOP'97, 1997

The Imperative Language Paradigm.

Michael J. Jipping, Kim B. Bruce

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Thoughts on Computer Science Education.

Kim B. Bruce

ACM Comput. Surv., 1996

Process in Programming Languages.

Kim B. Bruce

ACM Comput. Surv., 1996

1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

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

Kim B. Bruce, Angela Schuett, Robert van Gent

Proceedings of the ECOOP'95, 1995

1994

A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics.

Kim B. Bruce

J. Funct. Program., 1994

Describing the CS forest to undergraduates (abstract).

Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley

Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students.

Kim B. Bruce

Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

1993

Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.

Kim B. Bruce

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Safe and Decidable Type Checking in an Object-Oriented Language.

Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller

Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.

Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

Provable Isomorphisms of Types.

Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo

Math. Struct. Comput. Sci., 1992

PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.

Kim B. Bruce, John C. Mitchell

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991

The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages.

Kim B. Bruce

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

The Semantics of Second-Order Lambda Calculus

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

Inf. Comput., March, 1990

A Modest Model of Records, Inheritance and Bounded Quantification

Kim B. Bruce, Giuseppe Longo

Inf. Comput., 1990

1987

The Semantics of Miranda's Algebraic Types.

Kim B. Bruce, Jon G. Riecke

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

An Algebraic Model of Subtype and Inheritance.

Kim B. Bruce, Peter Wegner

Proceedings of the Advances in Database Programming Languages, 1987

1986

An algebraic model of sybtypes in object-oriented languages (draft).

Kim B. Bruce, Peter Wegner

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

An algebraic model of subtype in object-oriented languages (abstract only).

Kim Bruce, Peter Wegner

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Model constructions in stationary logic. II. Definable ultrapowers.

Kim B. Bruce

Notre Dame J. Formal Log., 1986

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

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

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)

Kim B. Bruce, Giuseppe Longo

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

A computer science curriculum for liberal arts colleges (panel session).

Kim Bruce, Robert D. Cupper, Stuart Hirshfield, Ted Sjoerdsma, Allen B. Tucker, Norman E. Gibbs

Proceedings of the 16th SIGCSE Technical Symposium on Computer Science Education, 1985

Liberal arts curriculum and computer science education (Panel Presentation).

Norman E. Gibbs, Joyce Brennan, Kim B. Bruce, Allen B. Tucker, Paul R. Young

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1984

On Combinatory Algebras and their Expansions.

Kim B. Bruce, Giuseppe Longo

Theor. Comput. Sci., 1984

The Semantics of Second Order Polymorphic Lambda Calculus.

Kim B. Bruce, Albert R. Meyer

Proceedings of the Semantics of Data Types, International Symposium, 1984

1980

Model Constructions in Stationary Logic. Part I. Forcing.

Kim B. Bruce

J. Symb. Log., 1980

1979

L_A(\Finv).

Kim B. Bruce, H. Jerome Keisler

J. Symb. Log., 1979

1978

Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q).

Kim B. Bruce

J. Symb. Log., 1978