dblp.uni-trier.dewww.uni-trier.de

Kim B. Bruce Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
61EEMark 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
60EEKim B. Bruce, Stephen N. Freund: Programming languages in a liberal arts education. SIGPLAN Notices 43(11): 45-49 (2008)
59EEKim B. Bruce, Stephen N. Freund: Programming languages as part of core computer science. SIGPLAN Notices 43(11): 50-54 (2008)
58EEEric 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)
2006
57EEEric 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
56EEKim B. Bruce: Using abstractions to make concepts concrete. SIGCSE 2005: 1
55EEKim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Why structural recursion should be taught before arrays in CS 1. SIGCSE 2005: 246-250
54EEJoe Bergin, Kim B. Bruce, Michael Kölling: Objects-early tools: a demonstration. SIGCSE 2005: 390-391
53EEOwen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges: Resolved: objects early has failed. SIGCSE 2005: 451-452
52EEEric 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
51EEKim 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
50EEKim B. Bruce, J. Nathan Foster: LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413
49EEKim B. Bruce, Andrea Pohoreckyj Danyluk: Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion 2004: 96-100
48EEAlyce 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
47EEKim 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
46EEIsabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández: Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2003: 119-129
45EEKim B. Bruce: Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference 2003: 46-49
44EEKim 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)
43EEKim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker: Why math? Commun. ACM 46(9): 40-44 (2003)
42EEKim B. Bruce: Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
41EEIsabel Michiels, Jürgen Börstler, Kim B. Bruce: Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2002: 30-43
40EEKim B. Bruce, Didier Rémy: Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002)
39EEKim B. Bruce: Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 175(1): 1-2 (2002)
2001
38EEKim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Event-driven programming is simple enough for CS1. ITiCSE 2001: 1-4
37EEAllen B. Tucker, Charles Kelemen, Kim B. Bruce: Our curriculum has become math-phobic! SIGCSE 2001: 243-247
36EEKim 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
34EEKim B. Bruce: Formal semantics and interpreters in a principles of programming languages course. SIGCSE 1999: 331-335
33EEKim 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
31EEKim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549
30EEKim 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
28EEKim 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
23EEKim 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
21EEKim B. Bruce: Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE 1994: 243-247
20EEHenry 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
18EEKim 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
13EEKim 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
9EEKim B. Bruce, Peter Wegner: An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96
8EEKim 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)

Coauthor Index

1Eric Allen [58]
2Roberto M. Amadio [7]
3Owen L. Astrachan [53]
4Mark W. Bailey [58] [61]
5Joseph Bergin (Joe Bergin) [54]
6Rastislav Bodík [58]
7Jürgen Börstler [41] [46]
8James Bradley [20]
9Alyce Brady [48]
10Luca Cardelli [22] [27] [32]
11Giuseppe Castagna [22]
12Roberto Di Cosmo [14]
13Jonathan Crabtree [17] [18]
14James H. Cross II (James H. Cross) [52] [57]
15Robb Cutler [52] [57]
16Andrea Pohoreckyj Danyluk [36] [38] [49] [55]
17Allyn Dimock [17]
18Robert L. Scot Drysdale (Robert L. (Scot) Drysdale III) [43]
19Jonathan Eifrig [22]
20Alejandro Fernández [46]
21Adrian Fiech [28] [44]
22Kathleen Fisher [58] [61]
23J. Nathan Foster [50]
24Stephen N. Freund [58] [59] [60]
25Robert van Gent [17] [23] [44]
26Scott Grissom (Scott B. Grissom) [52] [57]
27Robert Harper [58] [61]
28Michael J. Jipping [26]
29Gerlad Kanapathy [18]
30H. Jerome Keisler [2]
31Charles Kelemen [37] [43]
32Karl Klee [52] [57]
33Elliot B. Koffman [53]
34Phokion G. Kolaitis [30]
35Michael Kölling [53] [54]
36Chandra Krintz [58]
37Shriram Krishnamurthi [58]
38James R. Larus [58]
39Doug Lea [58]
40Gary T. Leavens [22] [58]
41Daniel Leivant [30]
42Giuseppe Longo [4] [6] [7] [10] [11] [14]
43Albert R. Meyer [5] [12]
44Isabel Michiels [41] [46]
45John C. Mitchell [12] [15]
46Robert Muller [17]
47Thomas P. Murtagh [17] [36] [38] [55]
48Robert E. Noonan [48]
49Martin Odersky [31]
50Leaf Petersen [28]
51Benjamin C. Pierce [22] [27] [29] [32]
52Lori L. Pollock [58]
53Stuart Reges [53] [58] [61]
54Didier Rémy [40]
55Angela Schuett Reninger (Angela Schuett) [23] [44]
56Jon G. Riecke [8]
57Martin C. Rinard [58]
58Eric S. Roberts [52] [57]
59Susan H. Rodger [52] [57]
60Mark A. Sheldon [58]
61Scott F. Smith [22]
62Fran Trees [52] [57]
63Valery Trifonov [22]
64Allen B. Tucker [37] [43] [48]
65Franklyn A. Turbak [58]
66Ian Utting [52] [57]
67Joseph Vanderwaart [33]
68Moshe Y. Vardi [30]
69Philip Wadler [31]
70Henry MacKay Walker [20] [48]
71Mitchell Wand [58]
72Peter Wegner [9]
73Tom Whaley [20]
74Frank Yellin [52] [57]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)