We present a sound type-basedùsage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a number of useful optimi-sations. However, existing analyses are either ad-hoc and approximate, or deened over restricted languages. Our work extends the Once Upon A Type system of Turner, ...

Based on the analysis of differential scanning calorimetry data, possibility classifying observed endothermic or exothermic transformations as phase first oder is considered. Two approaches have been implemented. The based correspondence between temperatures maximum conversion rate and extrema second derivative signal with respect to temperature. In approach, transformation considered a kind ki...

Longo, G., K. M&ted and S. Soloviev, The genericity theorem and parametricity in the polymorphic I-calculus, Theoretical Computer Science 121 (1993) 323-349. This paper focuses on how terms of the polymorphic I-calculus, which may take types as inputs, depend on types. These terms are generally understood, in all models, to have an “essentially” constant meaning on input types. We show how the ...

Propagation through tissue culture by using orchid seed as explants will produce a lot of plants. This study aims to measure the genetic character plantlets that were regenerated from seeds which have been resulted in vitro culture. The original plants produced was determined Random Amplified Polymorphic DNA (RAPD) molecular markers. results showed primers used RAPD analysis polymorphic band pa...