In this paper the mechanism of Default Rules for narrowing-based languages proposed in 24] is adapted to lazy narrowing. Every partial deenition of a function can be completed with a default rule. In a concrete function call, the default rule is applicable when the normal ones determine that they cannot compute the value of the call. Furthermore , when the goal has variables the evaluation mech...

This paper tests a key theoretical prediction of public finance, that redistribution discourages the participation of productive individuals. Specifically, I use a longitudinal data set to test whether and to what extent the intensive redistribution practiced by Israeli kibbutzim encourages exit of more productive individuals and entry of less productive ones. The findings support the theoretic...

The 90Sr and 137Cs contamination in Polish surface waters has been monitoring since 1994. Surface water samples from six lakes and the Vistula and Oder Rivers were collected in spring and autumn 2012 and 2013. The mean 90Sr and 137Cs concentrations were 3.92 ± 0.40 and 4.49 ± 2.00 mBq L-1, respectively. Correlations were identified between the radionuclide concentrations and meteorological cond...