Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Bruce, Kim B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Why Math?
Kim B. Bruce
,
Robert L. Scot Drysdale
,
Charles Kelemen
,
Allen Tucker
Communications of the ACM
46
(9), 2003, pp. 41-44
Event-driven programming is simple enough for CS1
Kim B. Bruce
,
Andrea P. Danyluk
,
Thomas P. Murtagh
Proceedings of the 6th Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE'2001 (University of Kent at Canterbury, England, June 25-27, 2001)
, 2001, pp. 1-4
Comparing object encodings
Kim B. Bruce
,
Luca Cardelli
,
Benjamin C. Pierce
Information and Computation
155
(1-2), 1999, pp. 108-133
A modest model of records, inheritance, and bounded quantification
Kim B. Bruce
,
Giuseppe Longo
Information and Computation
87
(1/2), 1990, July/August, pp. 196-240
The semantics of second-order lambda calculus
Kim B. Bruce
,
Albert R. Meyer
,
John C. Mitchell
Information and Computation
85
(1), 1990, March, pp. 76-134