Kim B. Bruce

	2010
67		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
66		Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Introducing concurrency in CS 1. SIGCSE 2010: 224-228
65		Andrew P. Black, Kim B. Bruce, James Noble: Panel: designing the next educational programming language. SPLASH/OOPSLA Companion 2010: 201-204
64		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)
	2009
63		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
62		Kim B. Bruce, Stephen N. Freund: Programming languages in a liberal arts education. SIGPLAN Notices 43(11): 45-49 (2008)
61		Kim B. Bruce, Stephen N. Freund: Programming languages as part of core computer science. SIGPLAN Notices 43(11): 50-54 (2008)
60		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)
	2006
59		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
58		Kim B. Bruce: Using abstractions to make concepts concrete. SIGCSE 2005: 1
57		Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Why structural recursion should be taught before arrays in CS 1. SIGCSE 2005: 246-250
56		Joe Bergin, Kim B. Bruce, Michael Kölling: Objects-early tools: a demonstration. SIGCSE 2005: 390-391
55		Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges: Resolved: objects early has failed. SIGCSE 2005: 451-452
54		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
53		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
52		Kim B. Bruce, J. Nathan Foster: LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413
51		Kim B. Bruce, Andrea Pohoreckyj Danyluk: Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion 2004: 96-100
50		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
49		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
48		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
47		Kim B. Bruce: Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference 2003: 46-49
46		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)
45		Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker: Why math? Commun. ACM 46(9): 40-44 (2003)
44		Kim B. Bruce: Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci. 82(7): 1-29 (2003)
	2002
43		Kim B. Bruce: Foundations of object-oriented languages - types and semantics. MIT Press 2002: I-XX, 1-384
42		Isabel Michiels, Jürgen Börstler, Kim B. Bruce: Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops 2002: 30-43
41		Kim B. Bruce, Didier Rémy: Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002)
40		Kim B. Bruce: Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. 175(1): 1-2 (2002)
	2001
39		Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh: Event-driven programming is simple enough for CS1. ITiCSE 2001: 1-4
38		Allen B. Tucker, Charles Kelemen, Kim B. Bruce: Our curriculum has become math-phobic! SIGCSE 2001: 243-247
37		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
36		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
35		Kim B. Bruce: Curriculum 2001 Draft Found Lacking in Programming Languages. SIGPLAN Notices 35(4): 26-28 (2000)
	1999
34		Kim B. Bruce: Formal semantics and interpreters in a principles of programming languages course. SIGCSE 1999: 331-335
33		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)
32		Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)
	1998
31		Kim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549
30		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		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		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		Kim B. Bruce: Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE 1994: 243-247
20		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		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)

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page