Results 261 to 270 of about 283,550 (300)

Type A or Not Type A

1996
Do some lifestyles make people more vulnerable to disease? ‘You ’ll make yourself ill with worry’ mutters the helpful voice in our ear, but is there any evidence for this? Are we justified in associating high-stress behaviour with certain health problems such as heart disease?
M. Friedman, R. H. Rosenman
openaire   +1 more source

Types of neutralization and types of delinquency

Journal of Youth and Adolescence, 1983
Neutralization theory was tested with questionnaires administered to a random sample of public school students (N=298) and institutionalized male delinquents (N=53). Nye-Short delinquency items were factor analyzed to yield three dimensions of delinquency (Predatory, Minor, and Aggressive), and each of the five techniques of neutralization was scored ...
J, Mitchell, R A, Dodder
openaire   +2 more sources

Sets, types and type-checking

Journal of Logic and Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Pers as Types, Inductive Types and Types with Laws

1992
This article develops a type system for based on partial equivalence relations for relational programming in the Bird-Meertens style.We introduce a general definition for an inductive type and show how inductive types with laws can be constructed in the type system.
openaire   +2 more sources

Types of evaluation and types of evaluator

Evaluation Practice, 1996
In response to the previous papers, Scriven defends the formative/ summative dichotomy as one reasonable way (of several possible ways) to classify evaluation activities. He argues that context ultimately ascribes to evaluation activities their formative or summative function, and clarifies areas of agreement and disagreement with authors Chen, Patton,
openaire   +1 more source

Typed equivalence, type assignment, and type containment

1991
The study of models based on partial equivalence relations (per) and the analysis of the interpretation of inheritance that arises in these structures (Bruce&Longo[88]) leads us to reconsider the classical problem of type-assignment in this framework.
openaire   +2 more sources

Type classes with existential types

Journal of Functional Programming, 1996
Abstract We argue that the novel combination of type classes and existential types in a single language yields significant expressive power. We explore this combination in the context of higher-order functional languages with static typing, parametric polymorphism, algebraic data types and Hindley–Milner type inference.
openaire   +2 more sources

Dynamic typing in a statically typed language

ACM Transactions on Programming Languages and Systems, 1989
Statically typed programming languages allow earlier error checking, better enforcement of diciplined programming styles, and the generation of more efficient object code than languages where all type consistency checks are performed at run time.
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin   +3 more
openaire   +2 more sources

Typing abstract data types

1995
The purpose of this paper is threefold. First, we describe some basic ideas of constructive type theory, with emphasis on their value for specification. Second, we demonstrate the use of type theory as a specification language. This is done by means of a detailed example, namely, the specification of an abstract data type (ADT) for multisets.
openaire   +1 more source

HLA-B27: To Type or Not to Type?

Annals of Internal Medicine, 1980
The association between the histocompatibility antigen HLA-B27 and the seronegative spondylarthritides such as ankylosing spondylitis and Reiter's syndrome is dramatic. A question that arises in practice is, when should a clinician request HLA-B27 typing in the assessment of a patient with a rheumatologic complaint?
openaire   +2 more sources