Kim B. Bruce

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

Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce: Patterns as objects in grace. DLS 2012: 17-28

Kim B. Bruce, Robert D. Cupper, Robert L. Scot Drysdale: A History of the Liberal Arts Computer Science Consortium and its Model Curricula. TOCE 10(1) (2010)

Andrew P. Black, Kim B. Bruce, James Noble: Panel: designing the next educational programming language. SPLASH/OOPSLA Companion 2010: 201-204

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

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Introducing concurrency in CS 1. SIGCSE 2010: 224-228

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

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. SIGPLAN Notices 43(11): 6-29 (2008)

Kim B. Bruce, Stephen N. Freund: Programming languages in a liberal arts education. SIGPLAN Notices 43(11): 45-49 (2008)

Kim B. Bruce, Stephen N. Freund: Programming languages as part of core computer science. SIGPLAN Notices 43(11): 50-54 (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: 131-132

Kim B. Bruce: Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. SIGCSE Bulletin 37(2): 111-117 (2005)

Kim B. Bruce: Using abstractions to make concepts concrete. SIGCSE 2005: 1

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: 46-47

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Why structural recursion should be taught before arrays in CS 1. SIGCSE 2005: 246-250

Joe Bergin, Kim B. Bruce, Michael Kölling: Objects-early tools: a demonstration. SIGCSE 2005: 390-391

Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges: Resolved: objects early has failed. SIGCSE 2005: 451-452

Kim B. Bruce: Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. SIGCSE Bulletin 36(4): 29-34 (2004)

Kim B. Bruce, J. Nathan Foster: LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413

Kim B. Bruce, Andrea Pohoreckyj Danyluk: Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion 2004: 96-100

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

Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker: Why math? Commun. ACM 46(9): 40-44 (2003)

Kim B. Bruce: Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci. 82(7): 1-29 (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): 225-290 (2003)

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

Kim B. Bruce: Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference 2003: 46-49

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

Kim B. Bruce, Didier Rémy: Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002)

Kim B. Bruce: Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 175(1): 1-2 (2002)

Isabel Michiels, Jürgen Börstler, Kim B. Bruce: Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2002: 30-43

Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Event-driven programming is simple enough for CS1. ITiCSE 2001: 1-4

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

Allen B. Tucker, Charles Kelemen, Kim B. Bruce: Our curriculum has become math-phobic! SIGCSE 2001: 243-247

Kim B. Bruce: Curriculum 2001 Draft Found Lacking in Programming Languages. SIGPLAN Notices 35(4): 26-28 (2000)

Charles Kelemen, Allen B. Tucker, Peter Henderson, Owen L. Astrachan, Kim B. Bruce: Has our curriculum become math-phobic? (an American perspective). ITiCSE 2000: 132-135

Kim B. Bruce, Joseph Vanderwaart: Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. Electr. Notes Theor. Comput. Sci. 20: 50-75 (1999)

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)

Kim B. Bruce: Formal semantics and interpreters in a principles of programming languages course. SIGCSE 1999: 331-335

Kim B. Bruce, Benjamin C. Pierce: Editorial - Third Workshop on Foundations of Object-Oriented Languages. TAPOS 4(1): 1 (1998)

Kim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549

Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi: Panel: logic in the computer science curriculum. SIGCSE 1998: 376-377

Michael J. Jipping, Kim B. Bruce: The Imperative Language Paradigm. The Computer Science and Engineering Handbook 1997: 1983-2005

Kim B. Bruce, Leaf Petersen, Adrian Fiech: Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP 1997: 104-127

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. TACS 1997: 415-438

Kim B. Bruce: Process in Programming Languages. ACM Comput. Surv. 28(1): 245-247 (1996)

Kim B. Bruce: Thoughts on Computer Science Education. ACM Comput. Surv. 28(4es): 93 (1996)

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)

Kim B. Bruce, Angela Schuett, Robert van Gent: PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ECOOP 1995: 27-51

Kim B. Bruce: A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. J. Funct. Program. 4(2): 127-206 (1994)

Kim B. Bruce: Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE 1994: 243-247

Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley: Describing the CS forest to undergraduates (abstract). SIGCSE 1994: 369-370

Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy: An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. MFPS 1993: 603-626

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

Kim B. Bruce: Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL 1993: 285-298

Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo: Provable Isomorphisms of Types. Mathematical Structures in Computer Science 2(2): 231-247 (1992)

Kim B. Bruce, John C. Mitchell: PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL 1992: 316-327

Kim B. Bruce: The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. MFPS 1991: 102-124

Kim B. Bruce, Albert R. Meyer, John C. Mitchell: The Semantics of Second-Order Lambda Calculus. Inf. Comput. 85(1): 76-134 (1990)

Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. Inf. Comput. 87(1/2): 196-239 (1990)

Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50

Kim B. Bruce, Peter Wegner: An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96

Kim B. Bruce, Jon G. Riecke: The Semantics of Miranda's Algebraic Types. MFPS 1987: 455-473

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

Kim B. Bruce, Giuseppe Longo: Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version). STOC 1985: 263-272

Kim B. Bruce, Giuseppe Longo: On Combinatory Algebras and their Expansions. Theor. Comput. Sci. 31: 31-40 (1984)

Kim B. Bruce, Albert R. Meyer: The Semantics of Second Order Polymorphic Lambda Calculus. Semantics of Data Types 1984: 131-144

Kim B. Bruce: Model Constructions in Stationary Logic. Part I. Forcing. J. Symb. Log. 45(3): 439-454 (1980)

Kim B. Bruce, H. Jerome Keisler: L_A(\Finv). J. Symb. Log. 44(1): 15-28 (1979)

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)