Kim B. Bruce

发表

Isabel Michiels, Jürgen Börstler, Kim B. Bruce, 2002, ECOOP Workshops.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, TACS.
Andrew P. Black, Michael Homer, James Noble, 2013, 2013 26th International Conference on Software Engineering Education and Training (CSEE&T).
Timothy Jones, Michael Homer, James Noble, 2016, ECOOP.
Luca Cardelli, Kim B. Bruce, Benjamin C. Pierce, 1997, Inf. Comput..
Kim B. Bruce, Albert R. Meyer, A. Meyer, 1984, Semantics of Data Types.
Kim B. Bruce, Leaf Petersen, V. John Joseph, 1998 .
John C. Mitchell, Kim B. Bruce, Albert R. Meyer, 1990, Inf. Comput..
Kim B. Bruce, Didier Rémy, 2002 .
Stephen N. Freund, Kim B. Bruce, 2008, SIGP.
Kim B. Bruce, Jon G. Riecke, J. Riecke, 1987, MFPS.
Isabel Michiels, Jürgen Börstler, Kim B. Bruce, 2003, ECOOP Workshops.
Kim B. Bruce, Peter B. Henderson, Allen B. Tucker, 2000, ITiCSE '00.
Martin Odersky, Philip Wadler, Kim B. Bruce, 1998, ECOOP.
Kim B. Bruce, Peter Wegner, P. Wegner, 1990, DBPL.
Allen B. Tucker, Eugene H. Spafford, Michael C. Mulder, 1991 .
Kim B. Bruce, Nate Foster, 2004, ECOOP.
Kim B. Bruce, Michael Kölling, Elliot B. Koffman, 2005 .
Kim B. Bruce, 1996, CSUR.
Kim B. Bruce, Thomas P. Murtagh, Andrea Danyluk, 2005 .
Kim B. Bruce, Michael Kölling, Elliot B. Koffman, 2005, SIGCSE '05.
Stephen N. Freund, Kathi Fisler, Kim B. Bruce, 2011 .
Kim B. Bruce, Benjamin C. Pierce, B. Pierce, 1998, Theory Pract. Object Syst..
Kim B. Bruce, Robert L. Scot Drysdale, Robert D. Cupper, 2010, TOCE.
Andrew P. Black, Kim B. Bruce, A. Black, 2018 .
Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy, 1993, MFPS.
Andrew P. Black, Michael Homer, James Noble, 2016, Onward!.
Andrew P. Black, Michael Homer, James Noble, 2012, DLS '12.
Susan H. Rodger, Scott Grissom, Kim B. Bruce, 2006, SIGCSE '06.
Andrew P. Black, James Noble, Kim B. Bruce, 2013 .
Isabel Michiels, Jürgen Börstler, Kim B. Bruce, 2004 .
Kim B. Bruce, Giuseppe Longo, G. Longo, 1984, Theor. Comput. Sci..
Kim B. Bruce, Giuseppe Longo, G. Longo, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Susan H. Rodger, Scott Grissom, Kim B. Bruce, 2005, SIGCSE.
Andrew P. Black, Timothy Jones, Michael Homer, 2017, J. Object Technol..
Kim B. Bruce, Thomas P. Murtagh, Andrea Danyluk, 2001 .
Kim B. Bruce, Joseph Vanderwaart, Joseph Vanderwaart, 1999, MFPS.
Luca Cardelli, Gary T. Leavens, Giuseppe Castagna, 1995, Theory Pract. Object Syst..
Kim B. Bruce, 1986, Notre Dame J. Formal Log..
Kim B. Bruce, Andrea Pohoreckyj Danyluk, 2004, OOPSLA '04.
Kim B. Bruce, Jonathan Crabtree, Robert Muller, 1993, OOPSLA '93.
Kim B. Bruce, Angela Schuett Reninger, Adrian Fiech, 1995, TOPL.
Andrew P. Black, Michael Homer, James Noble, 2012, Onward! 2012.
Kim B. Bruce, Didier Rémy, 2002, Inf. Comput..
Henry MacKay Walker, Kim B. Bruce, Tom Whaley, 1994, SIGCSE '94.
Kim B. Bruce, Michael J. Jipping, 2014, Computing Handbook, 3rd ed..
Kim B. Bruce, Angela Schuett Reninger, Robert van Gent, 1995, ECOOP.
Kim B. Bruce, Fred G. Martin, 2019, Inroads.
Kim B. Bruce, Robert Harper, Kathleen Fisher, 2009, SIGCSE '09.
Andrew P. Black, James Noble, Kim B. Bruce, 2010, SPLASH/OOPSLA Companion.
Andrew P. Black, James Noble, Kim B. Bruce, 2016, A List of Successes That Can Change the World.
Andrew P. Black, Michael Homer, James Noble, 2013, SIGCSE '13.
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh, 2010, SIGCSE.
Daniel Leivant, Phokion G. Kolaitis, Kim B. Bruce, 1998, SIGCSE '98.
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh, 2001, SIGCSE '01.
Kim B. Bruce, Michael Kölling, Joe Bergin, 2005 .
Kim B. Bruce, Allen B. Tucker, Charles Kelemen, 2001, SIGCSE '01.
Kim B. Bruce, Allen B. Tucker, Charles Kelemen, 2003, CACM.
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh, 2001, ITiCSE '01.
Kim B. Bruce, Thomas P. Murtagh, Andrea Danyluk, 2001 .
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh, 2005, SIGCSE '05.
Kim B. Bruce, Peter Wegner, P. Wegner, 1986, OOPWORK '86.
Kim B. Bruce, Thomas P. Murtagh, Andrea Danyluk, 2001 .
Andrew P. Black, Timothy Jones, Michael Homer, 2014, ECOOP.
Henry MacKay Walker, Kim B. Bruce, Allen B. Tucker, 2004, SIGCSE '04.
Kim B. Bruce, 1980, Journal of Symbolic Logic.
Mark Guzdial, Kim B. Bruce, David G. Kay, 2010, SIGCSE.
Andrew P. Black, Michael Homer, James Noble, 2013 .
Susan H. Rodger, Scott Grissom, Kim B. Bruce, 2005 .
Norman E. Gibbs, Paul R. Young, Kim B. Bruce, 1985, ACM '85.
Kim B. Bruce, Giuseppe Longo, 1990, Inf. Comput..
Andrew P. Black, Michael Homer, James Noble, 2013 .
Roberto Di Cosmo, Kim B. Bruce, Giuseppe Longo, 1992, Mathematical Structures in Computer Science.
Kim B. Bruce, Michael Kölling, Joseph Bergin, 2005, SIGCSE '05.
John C. Mitchell, Kim B. Bruce, John C. Mitchell, 1992, POPL '92.
Kim B. Bruce, Donka F. Farkas, D. Farkas, 2010, J. Semant..
Kim B. Bruce, Leaf Petersen, Adrian Fiech, 1997, ECOOP.
Stephen N. Freund, Kim B. Bruce, 2008, SIGP.
Kim B. Bruce, Thomas P. Murtagh, Andrea Danyluk, 2005 .
Kim B. Bruce, J. Börstler, I. Michiels, 2002, Lecture Notes in Computer Science.
Kim B. Bruce, B. Pierce, L. Cardelli, 1995 .
Kim B. Bruce, Peter Wegner, P. Wegner, 1986, OOPWORK '86.
Johan van Benthem, Kim B. Bruce, Kees Doets, 1989 .
Kim B. Bruce, Thomas P. Murtagh, A. Danyluk, 2001, SIGCSE.
Kim B. Bruce, G. Longo, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Kim B. Bruce, D. Farkas, 2007 .