Abstract datatypes can be typed conveniently using existential types. Even though it is a powerful abstraction mechanism, current type inference systems based on Hindley-Milner do not allow existential types as first-class citizens – every existential type must be explicitly declared, packed, and unpacked using a data constructor. We present an extension of theMLF type system with first-class e...

We integrate existential types into a strongly typed C-like language. In particular, we show how a bad combination of existential types, mutation, and aliasing can cause a subtle violation of type safety. We explore two independent ways to strengthen the type system to restore safety. One restricts the mutation of existential packages. The other restricts the types of aliases of existential pac...

The system FT of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate decidability and complexity questions for fragments of the first-order theory of FT . It is well-known that the first-order theory of FT is decidable and that several of its fragments can be decided in quasi-linear time, includi...

Existential risks are those that threaten the entire future of humanity. Many theories of value imply that even relatively small reductions in net existential risk have enormous expected value. Despite their importance, issues surrounding human-extinction risks and related hazards remain poorly understood. In this article, I clarify the concept of existential risk and develop an improved classi...

background: coronary artery patients had a much anxiety and distress in the acute situation that this stress leads to more ischemia, re-infarction, tachycardia and ventricular fibrillation. on the other hand heart disease affects person's spirituality. although findings of numerous studies revealed significant relation between spiritual well-being and stress in cardiac patients, but paradoxical...

This article presents a phenomenological analysis of interview material, in which 12 care professionals in elderly care reflect on the elderly's well-being within the frame of special housing accommodation. The perspective of the care professionals is of special interest. The findings show that the well-being is characterized as the elderly's feelings of being existentially touched. The well-be...

Life-threatening illness is an assault on the whole person--physical, psychological, social, and spiritual. It frequently presents caregiver and sufferer with a paradox--suffering does not correlate with physical well-being alone. Drawing on a purposive sample of 21 participants, a phenomenological study was carried out to explore the relevance of the existential and spiritual domains to suffer...

Existential Psychological Theory was employed as a conceptual and theoretical foundation for the use of hypnotically facilitated therapy in the management of intractable pain, nausea, and vomiting in 3 end-stage, terminally ill cancer patients. The existential principles of death anxiety, existential isolation, and existential meaninglessness were addressed with a combination of classic and Eri...