Lecture notes in computer science · 2001 · 195 citations · 20 references
ComputingComputer ScienceComputer ArchitectureProgramming LanguagesSystems ProgrammingData TypesObject-oriented AnalysisObject-oriented DesignObject-oriented ProgrammingType CheckingType SystemsMultiple InheritanceObjectsPolymorphic CodePolymorphic Type SystemsPolymorphic TypesPolymorphism StudiesType PolymorphismType-level Programming
20
<i>N</i> degrees of separation
Peri Tarr, Harold Ossher, William Harrison et al. · 1999 · 1.2K citations · Full text
Dependent types in practical programming
Hongwei Xi, Frank Pfenning · 1999 · 584 citations · Full text
Making the future safe for the past
Gilad Bracha, Martin Odersky, David Stoutamire et al. · 1998 · 503 citations · Full text
Martin Odersky, Philip Wadler · 1997 · 419 citations · Full text
Common Lisp Object System specification
Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel et al. · ACM SIGPLAN Notices · 1988 · 381 citations