We show how to extend System F’s parametricity guarantee to a multi-language system in the style of Matthews and Findler that combines System F with an untyped language by use of dynamic sealing. While the use of sealing for this purpose has been suggested before, it has never been proven to preserve parametricity. In this paper we prove that it does using step-indexed logical relations. Note: ...

the discharge data used for hydrological modeling should be the long-term suitable random data without trend and jump which is followed a specific statistical distribution. in this study, the above mentioned conditions were evaluated for 31 years period (1974-2004) of annual mean discharge data of 10 gauging stations of west azarbaijan province. for this purpose, the non-parametric spearman cor...

Many forms of parsimony pressure are parametric, that is final fitness is a parametric model of the actual size and raw fitness values. The problem with parametric techniques is that they are hard to tune to prevent size from dominating fitness late in the evolutionary run, or to compensate for problem-dependent nonlinearities in the raw fitness function. In this paper we briefly discuss existi...

The efficiency literature, both using parametric and non-parametric methods, has been focusing mainly on cost efficiency analysis rather than on profit efficiency. In for-profit organisations, however, the measurement of profit efficiency and its decomposition into technical and allocative efficiency is particularly relevant. In this paper a newly developed method is used to measure profit effi...

Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and more intuitive way as a flow problem. The intuition is facilitated by a direct correspondence between run-time and analysis-time concepts. Precise analysis of polymorphism is hard; several algorithms have been developed ...

class List { Object head; List tail; List(Object head, List tail){ this.head=head; this.tail=tail; } void setHead(Object head){this.head=head;} void setTail(List tail){this.tail=tail;} Object getHead(){ return head;} List getTail(){ return tail;} void setIfPossible(Object o){ if ($snip1(o)) head=$snip2(o); } abstract boolean $snip1(Object o); abstract Object $snip2(Object o);boolean $snip1(Obje...

The aim of this paper is to analyze the macroeconomic effects of parametric reforms. An adjusted Auerbach-Kotlikoff model is used to study the effects of decreasing replacement and contribution rates of the pension system. The first part concentrates on the macroeconomic effect of reforms. Our results indicate that reducing the replacement and contribution rates increase the capital stock and d...

We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting parameter-free model using off-the-shelf means yields (refinable) lower and upper bounds on probabilities of regions in the parameter space. The technique outperforms t...