Call-by-need, neededness and all that
نویسندگان
چکیده
We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection type system called $\mathcal{V}$. Interestingly, system $\mathcal{V}$ also allows to syntactically identify all the weak-head needed redexes of a term.
منابع مشابه
Analysing resource use in the - calculus by type inference
If we view functions as processes, then their resources are their arguments, supplied through application , and used by the function to produce a result. In this paper, we dene resource use for functions, based on the syntactic notion of needed redexes from [BKKS86]. We introduce a variant of neededness, tail-neededness, and dene packets of needed descendants of redexes in order to measure the ...
متن کاملEvidence - based CAM: Where does it stand?
In the past 10 years evidence - based medicine (EBM) has developed well in all aspects of allopathic medicine giving a new dimension to patient care including cost reduction and attention to medical ethics. With the public and medical community return to complementary and alternative medicine (CAM) in the last two decades there has been a call for evidence - based CAM … in the same way that all...
متن کاملEvidence - based CAM: Where does it stand?
In the past 10 years evidence - based medicine (EBM) has developed well in all aspects of allopathic medicine giving a new dimension to patient care including cost reduction and attention to medical ethics. With the public and medical community return to complementary and alternative medicine (CAM) in the last two decades there has been a call for evidence - based CAM … in the same way that all...
متن کاملApplication of Monte Carlo Simulation in the Assessment of European Call Options
In this paper, the pricing of a European call option on the underlying asset is performed by using a Monte Carlo method, one of the powerful simulation methods, where the price development of the asset is simulated and value of the claim is computed in terms of an expected value. The proposed approach, applied in Monte Carlo simulation, is based on the Black-Scholes equation which generally def...
متن کاملA comparative study of the organization of the Abbasid call and that of the Imam’s agents (aims and principles)
The organizations of the Abbasid call and the Imam’s agents were two covert systems active in different regions of the Islamic territories. A comparative study of the two organizations helps for a better judgment as to the practice of the holy Imams and the Shiite versus that of the Abbasid and their followers. The main question of this project is “What are the similarities and differences of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1801.10519 شماره
صفحات -
تاریخ انتشار 2018