نتایج جستجو برای: existential ranks
تعداد نتایج: 20696 فیلتر نتایج به سال:
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...
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...
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...
Introduction: Old ages are one of the most major period of human life which because of its nature and being close to death time enhances deep questions about existential identity of man, anxiety related to effacement and annihilation, meaningfulness, feelings of unsafety, loneliness and seclusion in mind of most elder people. So this research has been done to review the effectiveness of ontolog...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید