On understanding types, data abstraction, and polymorphism

Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages. Object-oriented languag...

Full description

Bibliographic Details
Main Author: Cardelli, Luca, 1954-
Other Authors: Wegner, Peter
Format: Electronic Article
Language:English
Subjects:
Online Access:Texto completo