Results 261 to 270 of about 9,195,846 (282)
Some of the next articles are maybe not open access.
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93, 1993
We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement.
Tobias Nipkow, Christian Prehofer
openaire +1 more source
We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement.
Tobias Nipkow, Christian Prehofer
openaire +1 more source
Soft typing with conditional types
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94, 1994We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a system of type inclusion constraints over a type language that includes function types, constructor types, union, intersection, and recursive types, and ...
Alexander Aiken +2 more
openaire +1 more source
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
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, 1983Neutralization 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
Journal of Logic and Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Pers as Types, Inductive Types and Types with Laws
1992This 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, 1996In 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
1991The 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, 1996Abstract 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, 1989Statically 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 +3 more
openaire +2 more sources