BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Norway
1 × Sweden
2 × Finland
3 × United Kingdom
7 × USA
Collaborated with:
G.Longo M.Homer A.P.Black J.Noble J.N.Foster T.P.Murtagh R.v.Gent J.C.Mitchell T.Jones J.N.0001 A.P.Danyluk M.Odersky P.Wadler L.Petersen A.Fiech A.Schuett R.M.Amadio C.Kelemen A.B.Tucker P.Henderson O.L.Astrachan M.S.Miller J.Crabtree A.Dimock R.Müller
Talks about:
type (7) languag (6) object (5) orient (4) model (4) safe (4) program (3) order (3) grace (3) polymorph (2)

Person: Kim B. Bruce

DBLP DBLP: Bruce:Kim_B=

Contributed to:

ECOOP 20142014
CSEE&T 20132013
Onward! 20122012
ECOOP 20042004
ITiCSE-WGR 20042004
ITiCSE 20012001
ITiCSE 20002000
ECOOP 19981998
ECOOP 19971997
ECOOP 19951995
OOPSLA 19931993
POPL 19931993
POPL 19921992
LICS 19881988
LICS 19861986
STOC 19851985
ECOOP 20162016
Onward! 20162016

Wrote 18 papers:

Graceful Dialects (MH, TJ, JN, KBB, APB), pp. 131–156.
CSEET-2013-NobleHBB #design #education #programming language #question #re-engineering
Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
Onward-2012-BlackBHN #named
Grace: the absence of (inessential) difficulty (APB, KBB, MH, JN), pp. 85–98.
ECOOP-2004-BruceF #java #named #weaving
LOOJ: Weaving LOOM into Java (KBB, JNF), pp. 389–413.
ITiCSE-WGR-2004-Bruce #education #how
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list (KBB), pp. 29–34.
ITiCSE-2001-BruceDM #programming
Event-driven programming is simple enough for CS1 (KBB, APD, TPM), pp. 1–4.
ITiCSE-2000-KelemenTHAB #education
Has our curriculum become math-phobic? (an American perspective) (CK, ABT, PH, OLA, KBB), pp. 132–135.
ECOOP-1998-BruceOW #static typing
A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
ECOOP-1997-BrucePF #object-oriented #type system
Subtyping Is Not a Good “Match” for Object-Oriented Languages (KBB, LP, AF), pp. 104–127.
ECOOP-1995-BruceSG #named #object-oriented #polymorphism #type safety
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language (KBB, AS, RvG), pp. 27–51.
OOPSLA-1993-BruceCMGDM #decidability #object-oriented #type checking
Safe and Decidable Type Checking in an Object-Oriented Language (KBB, JC, TPM, RvG, AD, RM), pp. 29–46.
POPL-1993-Bruce #object-oriented #programming language #static typing #type checking
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
POPL-1992-BruceM #higher-order #modelling #morphism #polymorphism #recursion #type system
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism (KBB, JCM), pp. 316–327.
LICS-1988-BruceL #bound #inheritance #quantifier
A Modest Model of Records, Inheritance and Bounded Quantification (KBB, GL), pp. 38–50.
LICS-1986-AmadioBL #equation #higher-order #λ-calculus
The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
STOC-1985-BruceL #equation #modelling #morphism
Provable Isomorphisms and Domain Equations in Models of Typed Languages (KBB, GL), pp. 263–272.
ECOOP-2016-JonesHNB #inheritance
Object Inheritance Without Classes (TJ, MH, JN0, KBB), p. 26.
The left hand of equals (JN0, APB, KBB, MH, MSM), pp. 224–237.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.