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

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

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

A presentation of the formal underpinnings of object-oriented programming languages.

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