Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphi

Once a radical notion, object-oriented programming is one of today's most active research areas. It is especially well suited to the design of very large softwa

An Essential Reference for Intermediate and Advanced R Programmers Advanced R presents useful tools and techniques for attacking many types of R programming pro

By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, a