Typechecking and modules for multi-methods
- 1 October 1994
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 29 (10) , 1-15
- https://doi.org/10.1145/191081.191083
Abstract
This article identifies three temporal images of the homeless youth population. The dominant media typification is of an 'underclass' with chronic problems. A dissident image contends that most young people experience only short periods of homelessness, and that there is a 'high turnover' population. A third account suggests that there are both 'short-term' and 'chronically' homeless youth, but few individuals in-between. It is a 'polarised' image of the population. This article draws on information from a sample of 1,410 homeless young people to assess these accounts. The article theorises temporal concepts and it explains a methodological issue called the 'point in time dilemma'. The main finding of the study is that the homeless population is characterised by temporal diversity. The basis for the dominant underclass typification is explained, and various policy issues are discussed.This publication has 25 references indexed in Scilit:
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- A calculus for overloaded functions with subtypingPublished by Association for Computing Machinery (ACM) ,1992
- Static type checking of multi-methodsPublished by Association for Computing Machinery (ACM) ,1991
- Reasoning about object-oriented programs that use subtypesPublished by Association for Computing Machinery (ACM) ,1990
- Common Lisp Object System specificationACM SIGPLAN Notices, 1988
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986
- An introduction to Trellis/OwlPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- A technique for software module specification with examplesCommunications of the ACM, 1972