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: Bruce:Kim_B=
Contributed to:
2014
2013
20122004
200420012000199819971995
1993
19931992
19881986
198520162016Wrote 18 papers:
- ECOOP-2014-HomerJNBB
- 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.
- Onward-2016-NobleBBHM
- The left hand of equals (JN0, APB, KBB, MH, MSM), pp. 224–237.