Last update: Thu Apr 12 03:37:15 MDT 2012
@Article{Bruce:1993:SDT,
author = "Kim B. Bruce and Jon Crabtree and Thomas P. Murtagh
and Robert {van Gent} and Allyn Dimock and Robert
Muller",
title = "Safe and decidable type checking in an object-oriented
language",
journal = j-SIGPLAN,
volume = "28",
number = "10",
pages = "29--46",
month = oct,
year = "1993",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:16:42 MST 2003",
bibsource = "Compendex database; http://portal.acm.org/",
acknowledgement = ack-nhfb,
affiliation = "Williams Coll",
journalabr = "SIGPLAN Not",
}