Kim Bruce
Kim Bruce
Professor of Computer Science, Pomona College
Geverifieerd e-mailadres voor cs.pomona.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
On reacting to assertions and polar questions
DF Farkas, KB Bruce
Journal of semantics 27 (1), 81-118, 2010
5102010
Computing curricula 1991
AB Tucker
Communications of the ACM 34 (6), 68-84, 1991
4931991
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
3471995
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
International Symposium on Theoretical Aspects of Computer Software, 415-438, 1997
3171997
Foundations of object-oriented languages: types and semantics
KB Bruce
MIT press, 2002
2492002
A paradigmatic object-oriented programming language: Design, static typing and semantics
KB Bruce
Journal of Functional Programming 4 (2), 127-206, 1994
2411994
PolyTOIL: A type-safe polymorphic object-oriented language
KB Bruce, A Schuett, R Van Gent
European Conference on Object-Oriented Programming, 27-51, 1995
2121995
A statically safe alternative to virtual types
KB Bruce, M Odersky, P Wadler
European Conference on Object-Oriented Programming, 523-549, 1998
1901998
A modest model of records, inheritance, and bounded quantification
KB Bruce, G Longo
Theoretical Aspects of Object-Oriented Programming, Types, Semantics and …, 1994
1891994
Subtyping is not a good “match” for object-oriented languages
KB Bruce, L Petersen, A Fiech
European Conference on Object-Oriented Programming, 104-127, 1997
1711997
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
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
1251992
Comparing object encodings
KB Bruce, L Cardelli, BC Pierce
Information and Computation 155 (1-2), 108-133, 1999
1151999
Provable isomorphisms of types
KB Bruce, R Di Cosmo, G Longo
Mathematical Structures in Computer Science 2 (2), 231-247, 1992
1111992
The semantics of second-order lambda calculus
KB Bruce, AR Meyer, JC Mitchell
Information and Computation 85 (1), 76-134, 1990
1051990
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
882003
Controversy on how to teach CS 1: a discussion on the SIGCSE-members mailing list
KB Bruce
Working group reports from ITiCSE on Innovation and technology in computer …, 2004
862004
An algebraic model of subtype and inheritance
KB Bruce, P Wegner
Advances in database programming languages, 75-96, 1990
801990
Computing curricula 1991: Report of the ACM
AB Tucker, BH Barnes, RM Aiken, K Barker, KB Bruce, JT Cain, SE Conry, ...
IEEE-CS Joint Curriculum Task Force, ACM, New York, NY, 1991
761991
The finitary projection model for second order lambda calculus and solutions to higher order domain equations
RM Amadio, KB Bruce, G Longo
LICS, 122-130, 1986
751986
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20