( en | de | ru )

 

Disambiguation of "Bruce, Kim B."

Author of the publication

copydeleteadd this publication to your clipboard
Foundations of object-oriented languages - types and semantics.

. MIT Press, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Beate Maria Bruce-Micah

Annette Bruce

Regina Beatrice Bruce-Micah

 

Other publications of authors with the same name

Provable Isomorphisms of Types., , and . Math. Struct. Comput. Sci., 2 (2): 231-247 (1992)The Imperative Language Paradigm., and . The Computer Science and Engineering Handbook, CRC Press, (1997)SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations., , , , , , , , , and 8 other author(s). ACM SIGPLAN Notices, 43 (11): 6-29 (2008)Why math?, , , and . Commun. ACM, 46 (9): 40-44 (2003)The Semantics of Miranda's Algebraic Types., and . MFPS, volume 298 of Lecture Notes in Computer Science, page 455-473. Springer, (1987)Foundations of object-oriented languages - types and semantics.. MIT Press, (2002)A History of the Liberal Arts Computer Science Consortium and its Model Curricula., , and . TOCE, 10 (1): 3:1-3:12 (2010)On Combinatory Algebras and their Expansions., and . Theor. Comput. Sci., (1984)Liberal arts curriculum and computer science education (Panel Presentation)., , , , and . ACM Annual Conference, page 111. ACM, (1985)Panel: designing the next educational programming language., , and . SPLASH/OOPSLA Companion, page 201-204. ACM, (2010)