Kim B. Bruce

According to our database1, Kim B. Bruce authored at least 82 papers between 1978 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Grace's Inheritance.
Journal of Object Technology, 2017

2016
The Essence of Inheritance.
CoRR, 2016

The left hand of equals.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Object Inheritance Without Classes.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

The Essence of Inheritance.
Proceedings of the A List of Successes That Can Change the World, 2016

2014
Graceful Dialects.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Imperative Language Paradigm.
Proceedings of the Computing Handbook, 2014

2013
Seeking grace: a new object-oriented language for novices.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Designing Grace: Can an introductory programming language support the teaching of software engineering?
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012
Grace: the absence of (inessential) difficulty.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Patterns as objects in grace.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2010
On Reacting to Assertions and Polar Questions.
J. Semantics, 2010

A History of the Liberal Arts Computer Science Consortium and its Model Curricula.
TOCE, 2010

Recognizing the most influential CS education papers.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Introducing concurrency in CS 1.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Panel: designing the next educational programming language.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

2008
Programming languages as part of core computer science.
SIGPLAN Notices, 2008

Programming languages in a liberal arts education.
SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices, 2008

2006
The ACM java task force: final report.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2006

2005
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list.
SIGCSE Bulletin, 2005

The ACM java task force: status report.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Why structural recursion should be taught before arrays in CS 1.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Using abstractions to make concepts concrete.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Objects-early tools: a demonstration.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Resolved: objects early has failed.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list.
SIGCSE Bulletin, 2004

The 2003 model curriculum for a liberal arts degree in computer science: preliminary report.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Event-driven programming facilitates learning standard programming concepts.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list.
Proceedings of the Working group reports from ITiCSE on Innovation and technology in computer science education, 2004

LOOJ: Weaving LOOM into Java.
Proceedings of the ECOOP 2004, 2004

2003
PolyTOIL: A type-safe polymorphic object-oriented language.
ACM Trans. Program. Lang. Syst., 2003

Some challenging typing issues in object-oriented languages.
Electr. Notes Theor. Comput. Sci., 2003

Why math?
Commun. ACM, 2003

Bending without Breaking: Making Software More Flexible: Extended Abstract.
Proceedings of the Perspectives of Systems Informatics, 2003

Tools and Environments for Learning Object-Oriented Concepts.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
Guest Editorial: Foundations of Object-Oriented Languages.
Inf. Comput., 2002

Guest Editorial: Workshop on Foundations of Object-Oriented Languages.
Inf. Comput., 2002

Tools and Environments for Learning Object-Oriented Concepts.
Proceedings of the Object-Oriented Technology, 2002

Foundations of object-oriented languages - types and semantics.
MIT Press, ISBN: 978-0-262-02523-2, 2002

2001
Our curriculum has become math-phobic!
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

A library to support a graphics-based object-first approach to CS 1.
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Event-driven programming is simple enough for CS1.
Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

2000
Curriculum 2001 Draft Found Lacking in Programming Languages.
SIGPLAN Notices, 2000

Has our curriculum become math-phobic? (an American perspective).
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

1999
Comparing Object Encodings.
Inf. Comput., 1999

Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
Electr. Notes Theor. Comput. Sci., 1999

Formal semantics and interpreters in a principles of programming languages course.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998
Editorial - Third Workshop on Foundations of Object-Oriented Languages.
TAPOS, 1998

Panel: logic in the computer science curriculum.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26, 1998

A Statically Safe Alternative to Virtual Types.
Proceedings of the ECOOP'98, 1998

1997
Comparing Object Encodings.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Subtyping Is Not a Good "Match" for Object-Oriented Languages.
Proceedings of the ECOOP'97, 1997

The Imperative Language Paradigm.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Thoughts on Computer Science Education.
ACM Comput. Surv., 1996

Process in Programming Languages.
ACM Comput. Surv., 1996

1995
On Binary Methods.
TAPOS, 1995

PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.
Proceedings of the ECOOP'95, 1995

1994
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics.
J. Funct. Program., 1994

Describing the CS forest to undergraduates (abstract).
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students.
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994

1993
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Safe and Decidable Type Checking in an Object-Oriented Language.
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA, September 26, 1993

An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
Provable Isomorphisms of Types.
Mathematical Structures in Computer Science, 1992

PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1991
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990
The Semantics of Second-Order Lambda Calculus
Inf. Comput., March, 1990

A Modest Model of Records, Inheritance and Bounded Quantification
Inf. Comput., 1990

1988
A Modest Model of Records, Inheritance and Bounded Quantification
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1987
The Semantics of Miranda's Algebraic Types.
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

An Algebraic Model of Subtype and Inheritance.
Proceedings of the Advances in Database Programming Languages, 1987

1986
Model constructions in stationary logic. II. Definable ultrapowers.
Notre Dame Journal of Formal Logic, 1986

The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version)
Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Liberal arts curriculum and computer science education (Panel Presentation).
Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1984
On Combinatory Algebras and their Expansions.
Theor. Comput. Sci., 1984

The Semantics of Second Order Polymorphic Lambda Calculus.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1980
Model Constructions in Stationary Logic. Part I. Forcing.
J. Symb. Log., 1980

1979
LA(\Finv).
J. Symb. Log., 1979

1978
Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q).
J. Symb. Log., 1978


  Loading...