| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kim B. Bruce, Robert D. Cupper, Robert L. Scot Drysdale |
A History of the Liberal Arts Computer Science Consortium and its Model Curricula.  |
TOCE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black, Kim B. Bruce, James Noble |
Panel: designing the next educational programming language. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
influential papers, recognition of excellence, awards, publication process |
| 1 | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
Introducing concurrency in CS 1. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
objectdraw, java, concurrency, cs 1 |
| 1 | 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 |
DBLP DOI BibTeX RDF |
programming languages, curriculum |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages as part of core computer science. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Kim B. Bruce, Stephen N. Freund |
Programming languages in a liberal arts education. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | 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 |
DBLP DOI BibTeX RDF |
java, computer science education, CS1, teaching libraries |
| 1 | Kim B. Bruce |
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. |
SIGCSE Bulletin |
2005 |
DBLP DOI BibTeX RDF |
Java, pedagogy, CS 1, controversy |
| 1 | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
Why structural recursion should be taught before arrays in CS 1. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
CS1, recursion |
| 1 | Kim B. Bruce |
Using abstractions to make concepts concrete. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges |
Resolved: objects early has failed. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
object oriented programming, CS1, objects first |
| 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 |
DBLP DOI BibTeX RDF |
Java, computer science education, CS1, teaching libraries |
| 1 | Joe Bergin, Kim B. Bruce, Michael Kölling |
Objects-early tools: a demonstration. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
objects early, object-orientation, software tools, pedagogy, CS1 |
| 1 | Kim B. Bruce |
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. |
SIGCSE Bulletin |
2004 |
DBLP DOI BibTeX RDF |
Java, pedagogy, CS 1, controversy |
| 1 | Kim B. Bruce, Andrea Pohoreckyj Danyluk |
Event-driven programming facilitates learning standard programming concepts. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
java, CS 1, event-driven programming |
| 1 | Kim B. Bruce, J. Nathan Foster |
LOOJ: Weaving LOOM into Java. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
liberal arts curriculum |
| 1 | Kim B. Bruce |
Some challenging typing issues in object-oriented languages. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech |
PolyTOIL: A type-safe polymorphic object-oriented language. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
hash type, Matching |
| 1 | Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker |
Why math? |
Commun. ACM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Bending without Breaking: Making Software More Flexible: Extended Abstract. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández |
Tools and Environments for Learning Object-Oriented Concepts. |
ECOOP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Didier Rémy |
Guest Editorial: Foundations of Object-Oriented Languages. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Guest Editorial: Workshop on Foundations of Object-Oriented Languages. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Foundations of object-oriented languages - types and semantics. |
|
2002 |
RDF |
|
| 1 | Isabel Michiels, Jürgen Börstler, Kim B. Bruce |
Tools and Environments for Learning Object-Oriented Concepts. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
Event-driven programming is simple enough for CS1. |
ITiCSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh |
A library to support a graphics-based object-first approach to CS 1. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen B. Tucker, Charles Kelemen, Kim B. Bruce |
Our curriculum has become math-phobic! |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Curriculum 2001 Draft Found Lacking in Programming Languages. |
SIGPLAN Notices |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Kelemen, Allen B. Tucker, Peter Henderson, Owen L. Astrachan, Kim B. Bruce |
Has our curriculum become math-phobic? (an American perspective). |
ITiCSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce |
Comparing Object Encodings. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Joseph Vanderwaart |
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Formal semantics and interpreters in a principles of programming languages course. |
SIGCSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Benjamin C. Pierce |
Editorial - Third Workshop on Foundations of Object-Oriented Languages. |
TAPOS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce, Martin Odersky, Philip Wadler |
A Statically Safe Alternative to Virtual Types. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
virtual types, static type checking, Language design, parametric polymorphism |
| 1 | Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi |
Panel: logic in the computer science curriculum. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Jipping, Kim B. Bruce |
The Imperative Language Paradigm. |
The Computer Science and Engineering Handbook |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce |
Comparing Object Encodings. |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Leaf Petersen, Adrian Fiech |
Subtyping Is Not a Good "Match" for Object-Oriented Languages. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Process in Programming Languages. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Thoughts on Computer Science Education. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce |
On Binary Methods. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce, Angela Schuett, Robert van Gent |
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. |
ECOOP |
1995 |
DBLP DOI BibTeX RDF |
design and semantics of object-oriented languages, Type systems |
| 1 | Kim B. Bruce |
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. |
J. Funct. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. |
SIGCSE |
1994 |
DBLP DOI BibTeX RDF |
Miranda |
| 1 | Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley |
Describing the CS forest to undergraduates (abstract). |
SIGCSE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy |
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo |
Provable Isomorphisms of Types. |
Mathematical Structures in Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, John C. Mitchell |
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Giuseppe Longo |
A Modest Model of Records, Inheritance and Bounded Quantification |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Albert R. Meyer, John C. Mitchell |
The Semantics of Second-Order Lambda Calculus |
Inf. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Giuseppe Longo |
A Modest Model of Records, Inheritance and Bounded Quantification |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Jon G. Riecke |
The Semantics of Miranda's Algebraic Types. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Peter Wegner |
An Algebraic Model of Subtype and Inheritance. |
DBPL |
1987 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce, Giuseppe Longo |
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) |
STOC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Giuseppe Longo |
On Combinatory Algebras and their Expansions. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Albert R. Meyer |
The Semantics of Second Order Polymorphic Lambda Calculus. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce |
Model Constructions in Stationary Logic. Part I. Forcing. |
J. Symb. Log. |
1980 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce, H. Jerome Keisler |
LA(\Finv). |
J. Symb. Log. |
1979 |
DBLP BibTeX RDF |
|
| 1 | Kim B. Bruce |
Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")