На этой странице можно скачать этот файл совершенно бесплатно и без регистрации и без отправки смс, а также без различного рода ограничений.
Скачивайте и учитесь, надеемся, наш сайт помог вам "погрызть гранит науки"
Cardelli L., Wegner P. On Understanding Types, Data Abstraction and Polymorphism
Статья Л. Карделли и П. Вегнера, опубликованная в Computing Surveys, Vol. 17, n. 4, Dec 1985. Посвящена системам типизации, абстракции данных и полиморфизму.
Содержание. From Untyped to Typed Universes. Organizing Untyped Universes. Static and Strong Typing. Kinds of Polymorphism. The Evolution of Types in Programming Languages. Type Expression Sublanguages. Preview of Fun. The l-Calculus. The Untyped l-Calculus. The Typed l-Calculus. Basic Types, Structured Types and Recursion. Types are Sets of Values. Universal Quantification. Universal Quantification and Generic Functions. Parametric Types. Existential Quantification. Existential Quantification and Information Hiding. Packages and Abstract Data Types. Combining Universal and Existential Quantification. Quantification and Modules. Modules are First-Class Values. Bounded Quantification. Type Inclusion, Subranges, and Inheritance. Bounded Universal Quantification and Subtyping. Comparison with Other Subtyping Mechanisms. Bounded Existential Quantification and Partial Abstraction. Type Checking and Type Inference. Hierarchical Classification of Type Systems. Conclusions. Acknowledgements. References. Appendix: Type Inference Rules.
