2009 |
61 | EE | 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 |
2008 |
60 | EE | Kim B. Bruce,
Stephen N. Freund:
Programming languages in a liberal arts education.
SIGPLAN Notices 43(11): 45-49 (2008) |
59 | EE | Kim B. Bruce,
Stephen N. Freund:
Programming languages as part of core computer science.
SIGPLAN Notices 43(11): 50-54 (2008) |
58 | EE | 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 Sheldon,
Franklyn A. Turbak,
Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices 43(11): 6-29 (2008) |
2006 |
57 | EE | 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 |
2005 |
56 | EE | Kim B. Bruce:
Using abstractions to make concepts concrete.
SIGCSE 2005: 1 |
55 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk,
Thomas P. Murtagh:
Why structural recursion should be taught before arrays in CS 1.
SIGCSE 2005: 246-250 |
54 | EE | Joe Bergin,
Kim B. Bruce,
Michael Kölling:
Objects-early tools: a demonstration.
SIGCSE 2005: 390-391 |
53 | EE | Owen L. Astrachan,
Kim B. Bruce,
Elliot B. Koffman,
Michael Kölling,
Stuart Reges:
Resolved: objects early has failed.
SIGCSE 2005: 451-452 |
52 | EE | 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 |
51 | EE | 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) |
2004 |
50 | EE | Kim B. Bruce,
J. Nathan Foster:
LOOJ: Weaving LOOM into Java.
ECOOP 2004: 389-413 |
49 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk:
Event-driven programming facilitates learning standard programming concepts.
OOPSLA Companion 2004: 96-100 |
48 | EE | 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 |
47 | EE | 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) |
2003 |
46 | EE | 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 |
45 | EE | Kim B. Bruce:
Bending without Breaking: Making Software More Flexible: Extended Abstract.
Ershov Memorial Conference 2003: 46-49 |
44 | EE | 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) |
43 | EE | Kim B. Bruce,
Robert L. Scot Drysdale,
Charles Kelemen,
Allen B. Tucker:
Why math?
Commun. ACM 46(9): 40-44 (2003) |
42 | EE | Kim B. Bruce:
Some challenging typing issues in object-oriented languages.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
2002 |
41 | EE | Isabel Michiels,
Jürgen Börstler,
Kim B. Bruce:
Tools and Environments for Learning Object-Oriented Concepts.
ECOOP Workshops 2002: 30-43 |
40 | EE | Kim B. Bruce,
Didier Rémy:
Guest Editorial: Foundations of Object-Oriented Languages.
Inf. Comput. 172(1): 1 (2002) |
39 | EE | Kim B. Bruce:
Guest Editorial: Workshop on Foundations of Object-Oriented Languages.
Inf. Comput. 175(1): 1-2 (2002) |
2001 |
38 | EE | Kim B. Bruce,
Andrea Pohoreckyj Danyluk,
Thomas P. Murtagh:
Event-driven programming is simple enough for CS1.
ITiCSE 2001: 1-4 |
37 | EE | Allen B. Tucker,
Charles Kelemen,
Kim B. Bruce:
Our curriculum has become math-phobic!
SIGCSE 2001: 243-247 |
36 | EE | 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 |
2000 |
35 | | Kim B. Bruce:
Curriculum 2001 Draft Found Lacking in Programming Languages.
SIGPLAN Notices 35(4): 26-28 (2000) |
1999 |
34 | EE | Kim B. Bruce:
Formal semantics and interpreters in a principles of programming languages course.
SIGCSE 1999: 331-335 |
33 | EE | Kim B. Bruce,
Joseph Vanderwaart:
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
32 | | Kim B. Bruce,
Luca Cardelli,
Benjamin C. Pierce:
Comparing Object Encodings.
Inf. Comput. 155(1-2): 108-133 (1999) |
1998 |
31 | EE | Kim B. Bruce,
Martin Odersky,
Philip Wadler:
A Statically Safe Alternative to Virtual Types.
ECOOP 1998: 523-549 |
30 | EE | Kim B. Bruce,
Phokion G. Kolaitis,
Daniel Leivant,
Moshe Y. Vardi:
Panel: logic in the computer science curriculum.
SIGCSE 1998: 376-377 |
29 | | Kim B. Bruce,
Benjamin C. Pierce:
Editorial - Third Workshop on Foundations of Object-Oriented Languages.
TAPOS 4(1): 1 (1998) |
1997 |
28 | EE | Kim B. Bruce,
Leaf Petersen,
Adrian Fiech:
Subtyping Is Not a Good "Match" for Object-Oriented Languages.
ECOOP 1997: 104-127 |
27 | | Kim B. Bruce,
Luca Cardelli,
Benjamin C. Pierce:
Comparing Object Encodings.
TACS 1997: 415-438 |
26 | | Michael J. Jipping,
Kim B. Bruce:
The Imperative Language Paradigm.
The Computer Science and Engineering Handbook 1997: 1983-2005 |
1996 |
25 | | Kim B. Bruce:
Process in Programming Languages.
ACM Comput. Surv. 28(1): 245-247 (1996) |
24 | | Kim B. Bruce:
Thoughts on Computer Science Education.
ACM Comput. Surv. 28(4es): 93 (1996) |
1995 |
23 | EE | Kim B. Bruce,
Angela Schuett,
Robert van Gent:
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.
ECOOP 1995: 27-51 |
22 | | 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) |
1994 |
21 | EE | Kim B. Bruce:
Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students.
SIGCSE 1994: 243-247 |
20 | EE | Henry MacKay Walker,
Kim B. Bruce,
James Bradley,
Tom Whaley:
Describing the CS forest to undergraduates (abstract).
SIGCSE 1994: 369-370 |
19 | | Kim B. Bruce:
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics.
J. Funct. Program. 4(2): 127-206 (1994) |
1993 |
18 | | Kim B. Bruce,
Jonathan Crabtree,
Gerlad Kanapathy:
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.
MFPS 1993: 603-626 |
17 | | 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 |
16 | | Kim B. Bruce:
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.
POPL 1993: 285-298 |
1992 |
15 | | Kim B. Bruce,
John C. Mitchell:
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.
POPL 1992: 316-327 |
14 | | Kim B. Bruce,
Roberto Di Cosmo,
Giuseppe Longo:
Provable Isomorphisms of Types.
Mathematical Structures in Computer Science 2(2): 231-247 (1992) |
1991 |
13 | | Kim B. Bruce:
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages.
MFPS 1991: 102-124 |
1990 |
12 | | Kim B. Bruce,
Albert R. Meyer,
John C. Mitchell:
The Semantics of Second-Order Lambda Calculus
Inf. Comput. 85(1): 76-134 (1990) |
11 | | Kim B. Bruce,
Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification
Inf. Comput. 87(1/2): 196-239 (1990) |
1988 |
10 | | Kim B. Bruce,
Giuseppe Longo:
A Modest Model of Records, Inheritance and Bounded Quantification
LICS 1988: 38-50 |
1987 |
9 | EE | Kim B. Bruce,
Peter Wegner:
An Algebraic Model of Subtype and Inheritance.
DBPL 1987: 75-96 |
8 | | Kim B. Bruce,
Jon G. Riecke:
The Semantics of Miranda's Algebraic Types.
MFPS 1987: 455-473 |
1986 |
7 | | 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 |
1985 |
6 | | Kim B. Bruce,
Giuseppe Longo:
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)
STOC 1985: 263-272 |
1984 |
5 | | Kim B. Bruce,
Albert R. Meyer:
The Semantics of Second Order Polymorphic Lambda Calculus.
Semantics of Data Types 1984: 131-144 |
4 | | Kim B. Bruce,
Giuseppe Longo:
On Combinatory Algebras and their Expansions.
Theor. Comput. Sci. 31: 31-40 (1984) |
1980 |
3 | | Kim B. Bruce:
Model Constructions in Stationary Logic. Part I. Forcing.
J. Symb. Log. 45(3): 439-454 (1980) |
1979 |
2 | | Kim B. Bruce,
H. Jerome Keisler:
LA(\Finv).
J. Symb. Log. 44(1): 15-28 (1979) |
1978 |
1 | | 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) |