Active Bibliography

766 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
554 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
881 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
447 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
430 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994
419 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
343 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
On Understanding Data . . . – William R. Cook - 2009
General Terms – Steve Cook