The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kim B. Bruce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kim B. Bruce, Peter Wegner
    An Algebraic Model of Subtype and Inheritance. [Citation Graph (9, 4)][DBLP]
    DBPL, 1987, pp:75-96 [Conf]
  2. Kim B. Bruce, Angela Schuett, Robert van Gent
    PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. [Citation Graph (3, 0)][DBLP]
    ECOOP, 1995, pp:27-51 [Conf]
  3. Kim B. Bruce
    Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. [Citation Graph (3, 0)][DBLP]
    POPL, 1993, pp:285-298 [Conf]
  4. 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. [Citation Graph (2, 0)][DBLP]
    OOPSLA, 1993, pp:29-46 [Conf]
  5. Kim B. Bruce, Giuseppe Longo
    A Modest Model of Records, Inheritance and Bounded Quantification [Citation Graph (1, 0)][DBLP]
    LICS, 1988, pp:38-50 [Conf]
  6. Kim B. Bruce, Giuseppe Longo
    A Modest Model of Records, Inheritance and Bounded Quantification [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1990, v:87, n:1/2, pp:196-239 [Journal]
  7. Kim B. Bruce
    A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:2, pp:127-206 [Journal]
  8. Kim B. Bruce, J. Nathan Foster
    LOOJ: Weaving LOOM into Java. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:389-413 [Conf]
  9. Kim B. Bruce, Martin Odersky, Philip Wadler
    A Statically Safe Alternative to Virtual Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:523-549 [Conf]
  10. Kim B. Bruce, Leaf Petersen, Adrian Fiech
    Subtyping Is Not a Good "Match" for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1997, pp:104-127 [Conf]
  11. Isabel Michiels, Jürgen Börstler, Kim B. Bruce
    Tools and Environments for Learning Object-Oriented Concepts. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:30-43 [Conf]
  12. Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández
    Tools and Environments for Learning Object-Oriented Concepts. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:119-129 [Conf]
  13. Kim B. Bruce
    Bending without Breaking: Making Software More Flexible: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:46-49 [Conf]
  14. Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo
    The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:122-130 [Conf]
  15. Kim B. Bruce
    The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:102-124 [Conf]
  16. Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy
    An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:603-626 [Conf]
  17. Kim B. Bruce, Jon G. Riecke
    The Semantics of Miranda's Algebraic Types. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:455-473 [Conf]
  18. Kim B. Bruce, Andrea Pohoreckyj Danyluk
    Event-driven programming facilitates learning standard programming concepts. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:96-100 [Conf]
  19. Kim B. Bruce, John C. Mitchell
    PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:316-327 [Conf]
  20. Kim B. Bruce, Albert R. Meyer
    The Semantics of Second Order Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:131-144 [Conf]
  21. Owen L. Astrachan, Kim B. Bruce, Elliot B. Koffman, Michael Kölling, Stuart Reges
    Resolved: objects early has failed. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:451-452 [Conf]
  22. Joe Bergin, Kim B. Bruce, Michael Kölling
    Objects-early tools: a demonstration. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:390-391 [Conf]
  23. Kim B. Bruce, Phokion G. Kolaitis, Daniel Leivant, Moshe Y. Vardi
    Panel: logic in the computer science curriculum. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:376-377 [Conf]
  24. Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
    Why structural recursion should be taught before arrays in CS 1. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:246-250 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2004, pp:282-283 [Conf]
  26. Kim B. Bruce
    Using abstractions to make concepts concrete. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:1- [Conf]
  27. Kim B. Bruce
    Attracting (& keeping) the best and the brightest: an entry-level course for experienced introductory students. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1994, pp:243-247 [Conf]
  28. Kim B. Bruce
    Formal semantics and interpreters in a principles of programming languages course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:331-335 [Conf]
  29. Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh
    A library to support a graphics-based object-first approach to CS 1. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2001, pp:6-10 [Conf]
  30. Eric S. Roberts, Kim B. Bruce, Robb Cutler, James H. Cross II, Scott B. Grissom, Karl Klee, Susan Rodger, Fran Trees, Ian Utting, Frank Yellin
    The ACM java task force: status report. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:46-47 [Conf]
  31. Allen B. Tucker, Charles Kelemen, Kim B. Bruce
    Our curriculum has become math-phobic! [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2001, pp:243-247 [Conf]
  32. Henry MacKay Walker, Kim B. Bruce, James Bradley, Tom Whaley
    Describing the CS forest to undergraduates (abstract). [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1994, pp:369-370 [Conf]
  33. Eric Roberts, Kim B. Bruce, James H. Cross II, Robb Cutler, Scott Grissom, Karl Klee, Susan Rodger, Fran Trees, Ian Utting, Frank Yellin
    The ACM java task force: final report. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2006, pp:131-132 [Conf]
  34. Kim B. Bruce, Giuseppe Longo
    Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:263-272 [Conf]
  35. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:415-438 [Conf]
  36. Kim B. Bruce, Robert L. Scot Drysdale, Charles Kelemen, Allen B. Tucker
    Why math? [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2003, v:46, n:9, pp:40-44 [Journal]
  37. Kim B. Bruce
    Process in Programming Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:1, pp:245-247 [Journal]
  38. Kim B. Bruce
    Thoughts on Computer Science Education. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:93- [Journal]
  39. Kim B. Bruce
    Some challenging typing issues in object-oriented languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  40. Kim B. Bruce, Joseph Vanderwaart
    Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  41. Kim B. Bruce
    Guest Editorial: Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:175, n:1, pp:1-2 [Journal]
  42. Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
    Comparing Object Encodings. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:108-133 [Journal]
  43. Kim B. Bruce, Albert R. Meyer, John C. Mitchell
    The Semantics of Second-Order Lambda Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1990, v:85, n:1, pp:76-134 [Journal]
  44. Kim B. Bruce, Didier Rémy
    Guest Editorial: Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:1, pp:1- [Journal]
  45. Kim B. Bruce
    Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:304-321 [Journal]
  46. Kim B. Bruce
    Model Constructions in Stationary Logic. Part I. Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:3, pp:439-454 [Journal]
  47. Kim B. Bruce, H. Jerome Keisler
    LA(\Finv). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:1, pp:15-28 [Journal]
  48. Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo
    Provable Isomorphisms of Types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:231-247 [Journal]
  49. Kim B. Bruce
    Curriculum 2001 Draft Found Lacking in Programming Languages. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:4, pp:26-28 [Journal]
  50. Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
    On Binary Methods. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:221-242 [Journal]
  51. Kim B. Bruce, Benjamin C. Pierce
    Editorial - Third Workshop on Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1998, v:4, n:1, pp:1- [Journal]
  52. Kim B. Bruce, Giuseppe Longo
    On Combinatory Algebras and their Expansions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:31, n:, pp:31-40 [Journal]
  53. Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
    PolyTOIL: A type-safe polymorphic object-oriented language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:2, pp:225-290 [Journal]

  54. Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. [Citation Graph (, )][DBLP]


  55. Recognizing the most influential CS education papers. [Citation Graph (, )][DBLP]


  56. Introducing concurrency in CS 1. [Citation Graph (, )][DBLP]


  57. Event-driven programming is simple enough for CS1. [Citation Graph (, )][DBLP]


  58. Has our curriculum become math-phobic? (an American perspective). [Citation Graph (, )][DBLP]


Search in 0.172secs, Finished in 0.175secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002