Kim B. Bruce - RankMe

88 papers A* 5A 24B 6C 1Journal 32Unranked 17

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	The Importance of Being Eelco. Eelco Visser Commemorative Symposium Andrew P. Black, Kim B. Bruce, James Noble
2019	J	`jnl`	Point-Counterpoint: Critical reflection need not mean accreditation. Inroads Kim B. Bruce, Fred G. Martin
2018	J	`jnl`	Five big open questions in computing education. Inroads Kim B. Bruce
2018	J	`jnl`	Teaching programming with Grace at Portland state. J. Comput. Sci. Coll. Andrew P. Black, Kim B. Bruce
2017	J	`jnl`	Grace's Inheritance. J. Object Technol. James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones
2016	A	`conf`	Object Inheritance Without Classes. ECOOP Timothy Jones, Michael Homer, James Noble, Kim B. Bruce
2016	—	`conf`	The Essence of Inheritance. A List of Successes That Can Change the World Andrew P. Black, Kim B. Bruce, James Noble
2016	J	`jnl`	The Essence of Inheritance. CoRR Andrew P. Black, Kim B. Bruce, James Noble
2016	—	`conf`	The left hand of equals. Onward! James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller
2014	A	`conf`	Graceful Dialects. ECOOP Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black
2014	—	`ch.`	Imperative Language Paradigm. Computing Handbook, 3rd ed. (1) Michael J. Jipping, Kim B. Bruce
2013	—	`conf`	Designing Grace: Can an introductory programming language support the teaching of software engineering? CSEE&T James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black
2013	A	`conf`	Seeking grace: a new object-oriented language for novices. SIGCSE Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow
2012	—	`conf`	Grace: the absence of (inessential) difficulty. Onward! Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble
2012	C	`conf`	Patterns as objects in grace. DLS Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce
2010	J	`jnl`	A History of the Liberal Arts Computer Science Consortium and its Model Curricula. ACM Trans. Comput. Educ. Kim B. Bruce, Robert D. Cupper, Robert L. Scot Drysdale
2010	A	`conf`	Introducing concurrency in CS 1. SIGCSE Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
2010	J	`jnl`	On Reacting to Assertions and Polar Questions. J. Semant. Donka F. Farkas, Kim B. Bruce
2010	—	`conf`	Panel: designing the next educational programming language. SPLASH/OOPSLA Companion Andrew P. Black, Kim B. Bruce, James Noble
2010	A	`conf`	Recognizing the most influential CS education papers. SIGCSE David G. Kay, Kim B. Bruce, Michael J. Clancy, Nell B. Dale, Mark Guzdial, Eric Roberts
2009	A	`conf`	Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. SIGCSE Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges
2008	J	`jnl`	Programming languages as part of core computer science. ACM SIGPLAN Notices Kim B. Bruce, Stephen N. Freund
2008	J	`jnl`	Programming languages in a liberal arts education. ACM SIGPLAN Notices Kim B. Bruce, Stephen N. Freund
2008	J	`jnl`	SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 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
2006	A	`conf`	The ACM java task force: final report. SIGCSE Eric Roberts, Kim B. Bruce, James H. Cross II, Robb Cutler, Scott Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin
2005	J	`jnl`	Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. Kim B. Bruce
2005	A	`conf`	Objects-early tools: a demonstration. SIGCSE Joe Bergin, Kim B. Bruce, Michael Kölling
2005	A	`conf`	Resolved: objects early has failed. SIGCSE Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges
2005	A	`conf`	The ACM java task force: status report. SIGCSE Eric Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl J. Klee, Susan H. Rodger, Fran Trees, Ian Utting, Frank Yellin
2005	A	`conf`	Using abstractions to make concepts concrete. SIGCSE Kim B. Bruce
2005	A	`conf`	Why structural recursion should be taught before arrays in CS 1. SIGCSE Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
2004	—	`conf`	Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ITiCSE-WGR Kim B. Bruce
2004	J	`jnl`	Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list. ACM SIGCSE Bull. Kim B. Bruce
2004	—	`conf`	Event-driven programming facilitates learning standard programming concepts. OOPSLA Companion Kim B. Bruce, Andrea Pohoreckyj Danyluk
2004	A	`conf`	LOOJ: Weaving LOOM into Java. ECOOP Kim B. Bruce, J. Nathan Foster
2004	A	`conf`	The 2003 model curriculum for a liberal arts degree in computer science: preliminary report. SIGCSE Alyce Brady, Kim B. Bruce, Robert E. Noonan, Allen B. Tucker, Henry MacKay Walker
2003	—	`conf`	Bending without Breaking: Making Software More Flexible: Extended Abstract. Ershov Memorial Conference Kim B. Bruce
2003	J	`jnl`	PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst. Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
2003	—	`conf`	Some challenging typing issues in object-oriented languages. WOOD Kim B. Bruce
2003	—	`conf`	Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández
2003	J	`jnl`	Why math? Commun. ACM Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker
2002	—	`book`	Foundations of object-oriented languages - types and semantics. Kim B. Bruce
2002	J	`jnl`	Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. Kim B. Bruce, Didier Rémy
2002	J	`jnl`	Guest Editorial: Workshop on Foundations of Object-Oriented Languages. Inf. Comput. Kim B. Bruce
2002	—	`conf`	Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops Isabel Michiels, Jürgen Börstler, Kim B. Bruce
2001	A	`conf`	A library to support a graphics-based object-first approach to CS 1. SIGCSE Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
2001	B	`conf`	Event-driven programming is simple enough for CS1. ITiCSE Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
2001	J	`jnl`	Events and objects first: an innovative approach to teaching JAVA in CS 1. J. Comput. Sci. Coll. Kim B. Bruce, Andrea Danyluk, Thomas P. Murtagh
2001	A	`conf`	Our curriculum has become math-phobic! SIGCSE Allen B. Tucker, Charles Kelemen, Kim B. Bruce
2000	J	`jnl`	Curriculum 2001 Draft Found Lacking in Programming Languages. ACM SIGPLAN Notices Kim B. Bruce
2000	B	`conf`	Has our curriculum become math-phobic? (an American perspective). ITiCSE Charles Kelemen, Allen B. Tucker, Peter B. Henderson, Owen L. Astrachan, Kim B. Bruce
1999	J	`jnl`	Comparing Object Encodings. Inf. Comput. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1999	A	`conf`	Formal semantics and interpreters in a principles of programming languages course. SIGCSE Kim B. Bruce
1999	B	`conf`	Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. MFPS Kim B. Bruce, Joseph Vanderwaart
1998	A	`conf`	A Statically Safe Alternative to Virtual Types. ECOOP Kim B. Bruce, Martin Odersky, Philip Wadler
1998	J	`jnl`	Editorial - Third Workshop on Foundations of Object-Oriented Languages. Theory Pract. Object Syst. Kim B. Bruce, Benjamin C. Pierce
1998	A	`conf`	Panel: logic in the computer science curriculum. SIGCSE Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi
1997	—	`conf`	Comparing Object Encodings. TACS Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
1997	A	`conf`	Subtyping Is Not a Good "Match" for Object-Oriented Languages. ECOOP Kim B. Bruce, Leaf Petersen, Adrian Fiech
1997	—	`ch.`	The Imperative Language Paradigm. The Computer Science and Engineering Handbook Michael J. Jipping, Kim B. Bruce
1996	J	`jnl`	Process in Programming Languages. ACM Comput. Surv. Kim B. Bruce
1996	J	`jnl`	Thoughts on Computer Science Education. ACM Comput. Surv. Kim B. Bruce
1995	J	`jnl`	On Binary Methods. Theory Pract. Object Syst. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
1995	A	`conf`	PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ECOOP Kim B. Bruce, Angela Schuett, Robert van Gent
1994	J	`jnl`	A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. J. Funct. Program. Kim B. Bruce
1994	A	`conf`	Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. SIGCSE Kim B. Bruce
1994	A	`conf`	Describing the CS forest to undergraduates (abstract). SIGCSE Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom P. Whaley
1993	B	`conf`	An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. MFPS Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy
1993	A*	`conf`	Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL Kim B. Bruce
1993	A	`conf`	Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller
1992	A*	`conf`	PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. POPL Kim B. Bruce, John C. Mitchell
1992	J	`jnl`	Provable Isomorphisms of Types. Math. Struct. Comput. Sci. Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
1991	B	`conf`	The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. MFPS Kim B. Bruce
1990	J	`jnl`	A Modest Model of Records, Inheritance and Bounded Quantification Inf. Comput. Kim B. Bruce, Giuseppe Longo
1990	J	`jnl`	The Semantics of Second-Order Lambda Calculus Inf. Comput. Kim B. Bruce, Albert R. Meyer, John C. Mitchell
1988	A*	`conf`	A Modest Model of Records, Inheritance and Bounded Quantification LICS Kim B. Bruce, Giuseppe Longo
1987	—	`conf`	An Algebraic Model of Subtype and Inheritance. DBPL Kim B. Bruce, Peter Wegner
1987	B	`conf`	The Semantics of Miranda's Algebraic Types. MFPS Kim B. Bruce, Jon G. Riecke
1986	—	`conf`	An algebraic model of sybtypes in object-oriented languages (draft). OOPWORK Kim B. Bruce, Peter Wegner
1986	J	`jnl`	Model constructions in stationary logic. II. Definable ultrapowers. Notre Dame J. Formal Log. Kim B. Bruce
1986	A*	`conf`	The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations LICS Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo
1985	—	`conf`	Liberal arts curriculum and computer science education (Panel Presentation). ACM Annual Conference Norman E. Gibbs, Joyce Brennan, Kim B. Bruce, Allen B. Tucker, Paul R. Young
1985	A*	`conf`	Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) STOC Kim B. Bruce, Giuseppe Longo
1984	J	`jnl`	On Combinatory Algebras and their Expansions. Theor. Comput. Sci. Kim B. Bruce, Giuseppe Longo
1984	—	`conf`	The Semantics of Second Order Polymorphic Lambda Calculus. Semantics of Data Types Kim B. Bruce, Albert R. Meyer
1980	J	`jnl`	Model Constructions in Stationary Logic. Part I. Forcing. J. Symb. Log. Kim B. Bruce
1979	J	`jnl`	L J. Symb. Log. Kim B. Bruce, H. Jerome Keisler
1978	J	`jnl`	Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). J. Symb. Log. Kim B. Bruce