Підписатись
Kim Bruce
Kim Bruce
Emeritus Professor of Computer Science, Pomona College
Підтверджена електронна адреса в pomona.edu - Домашня сторінка
Назва
Посилання
Посилання
Рік
On reacting to assertions and polar questions
DF Farkas, KB Bruce
Journal of semantics 27 (1), 81-118, 2010
9242010
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
3431997
A paradigmatic object-oriented programming language: Design, static typing and semantics
KB Bruce
Journal of Functional Programming 4 (2), 127-206, 1994
2491994
Foundations of object-oriented languages: types and semantics
KB Bruce
MIT press, 2002
2402002
PolyTOIL: A type-safe polymorphic object-oriented language
KB Bruce, A Schuett, R Van Gent
ECOOP’95—Object-Oriented Programming, 9th European Conference, Åarhus …, 1995
2091995
The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods
K Bruce, L Cardelli, G Castagna
Theory and Practice of Object Systems 1 (3), 221-242, 1995
2071995
A modest model of records, inheritance, and bounded quantification
KB Bruce, G Longo
Information and Computation 87 (1-2), 196-240, 1990
1991990
A statically safe alternative to virtual types
KB Bruce, M Odersky, P Wadler
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998
1921998
On binary methods
K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ...
Theory and Practice of Object Systems 1 (3), 221-242, 1995
1881995
Subtyping is not a good “match” for object-oriented languages
KB Bruce, L Petersen, A Fiech
ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997
1811997
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Information and Computation 155 (1-2), 108-133, 1999
1331999
PER models of subtyping, recursive types and higher-order polymorphism
K Bruce, JC Mitchell
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
1291992
Safe type checking in a statically-typed object-oriented programming language
KB Bruce
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1251993
Provable isomorphisms of types
K Bruce, R Di Cosmo, G Longo
Mathematical Structures in Computer Science 2 (2), 231-247, 1992
1211992
The semantics of second-order lambda calculus
KB Bruce, AR Meyer, JC Mitchell
Information and Computation 85 (1), 76-134, 1990
1211990
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list
KB Bruce
ACM SIGCSE Bulletin 36 (4), 29-34, 2004
1002004
PolyTOIL: A type-safe polymorphic object-oriented language
KB Bruce, A Schuett, R Van Gent, A Fiech
ACM Transactions on Programming Languages and Systems (ToPLAS) 25 (2), 225-290, 2003
902003
An algebraic model of subtype and inheritance
KB Bruce, P Wegner
Advances in database programming languages, 75-96, 1990
811990
Resolved: objects early has failed
O Astrachan, K Bruce, E Koffman, M Kölling, S Reges
ACM SIGCSE Bulletin 37 (1), 451-452, 2005
782005
A library to support a graphics-based object-first approach to CS 1
KB Bruce, A Danyluk, T Murtagh
Proceedings of the thirty-second SIGCSE technical symposium on Computer …, 2001
742001
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20