We present a simple way to program typed abstract syntax in a language following a Hindley-Milner typing discipline, such as Haskell and ML, and we apply it to automate two proofs about normalization functions as embodied in type-directed partial evaluation for the simply typed lambda calculus: normalization functions (1) preserve types and (2) yield long beta-eta normal forms.

Further investigation of different fractions from Lotus polyphyllos Clarke roots resulted in the isolation of the new 3-arylcoumarin derivative; 4',6'-dihydroxy-7, 2'-dimethoxy-3-arylcoumarin (5). In addition, the known compounds beta-sitosterol, 1-hexacosanol (1), n-tetracosyl p-coumarate (2), 4'-O-methylderrone (4), and quercetin (6) were identified. The structures were determined from spectr...

in the present study, physicochemical, rheological and textural properties of beta-glucan (bg) extracted from four iranian hull-less barley lines (ehds4, ehds18, aleli, cam-b) were investigated. two different methods namely, hot water (hw) and acidic (a) were used for extraction of beta-glucan. results showed that the highest amount of beta-glucan belonged to ehds4.the purity of hw extracted be...

We introduce a fully written programmed code with a supervised method for generating Steiner trees. Our choice of the programming language, and the use of well-known theorems from Geometry and Complex Analysis, allowed this method to be implemented with only 747 lines of effective source code. This eases the understanding and the handling of this beta version for future developments.

Recently, abstractions supporting distributed program execution in the object-oriented language BETA have been designed. A BETA object on one computer may invoke a remote object, i.e., an object hosted by another computer. In this project, the formalism of Coloured Petri Nets (CP-nets or CPN) is used to describe and analyse the protocol for remote object invocation. In the rst place, we build a...

Java and distributed object models are important for building modern, scalable, interoperable applications. This paper is focused on the performance analysis, comparison and optimization of the three most important distributed object models for Java: RMI (Remote Method Invocation), RMI-IIOP beta (Remote Method Invocation over Internet Inter-ORB Protocol), and IDL (Interface Definition Language)...

The understanding of neuroplasticity following stroke is predominantly based on neuroimaging measures that cannot address the subsecond neurodynamics of impaired language processing. We combined behavioral and electrophysiological measures and structural-connectivity estimates to characterize neuroplasticity underlying successful compensation of language abilities after left-hemispheric stroke....

Functional language compilers often perform optimizations based on beta and delta re duction To avoid speculative optimizations that can blow up the code size we might wish to use only shrinking reduction rules guaranteed to make the program smaller these include dead variable elimination constant folding and a restricted beta rule that inlines only functions that are called just once The restr...

The paper discusses a layered design for a discrete event simulation framework based on the Beta programming language. A description of goals and motivation of simulation modelling is followed by a brief characterization of Beta and its suitability for work this area. After some general comments on the history and state of simulation programming the design of the BetaSIM framework is illustrate...