Results 231 to 240 of about 4,940,107 (249)

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

Sets, types and type-checking

Journal of Logic and Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 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   +1 more source

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   +1 more source

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   +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

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   +1 more source

Type of search by type of library

Information Processing & Management, 1979
Abstract This is a summary of the literature on users studies from a particular point of view that is convenient for specialists to refer to, and informative for non-specialists. Variation in type of search may be considered central to providing a rational explanation and justification of the variations in resource allocation in different types of ...
openaire   +1 more source

Type inference and type containment

1984
Type inference, the process of assigning types to untyped expressions, may be motivated by the design of a typed language or semantical considerations on the meanings of types and expressions. A typed language GR with polymorphic functions leads to the GR inference rules.
openaire   +1 more source