Type Theories and Object-Oriented Programming (1988)
by
Scott Danforth
,
Chris Tomlinson
| Venue: | ACM Computing Surveys |
| Citations: | 48 - 0 self |
BibTeX
@ARTICLE{Danforth88typetheories,
author = {Scott Danforth and Chris Tomlinson},
title = {Type Theories and Object-Oriented Programming},
journal = {ACM Computing Surveys},
year = {1988},
volume = {20},
pages = {29--72}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Object-oriented programming is becoming a popular approach to the construction of complex software systems. Benefits of object orientation include support for modular design, code sharing, and extensibility. In order to make the most of these advantages, a type theory for objects and their interactions should be developed to aid checking and
