Related Books
Language: en
Pages: 568
Pages: 568
Type: BOOK - Published: 1994 - Publisher: MIT Press
Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development
Language: it
Pages: 548
Pages: 548
Type: BOOK - Published: 1994 - Publisher:
Language: en
Pages: 372
Pages: 372
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphi
Language: en
Pages: 392
Pages: 392
Type: BOOK - Published: 2012-09-08 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2002 - Publisher: MIT Press
A presentation of the formal underpinnings of object-oriented programming languages.