Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., virtually for free. The formal background of such ‘free theorems’ is well developed for extensions of the Girard-Reynolds polymorphic lambda calculus by algebraic datatypes and general recursion, provided the resulting ...

Uncertain switched linear systems are known as an important class of control systems. Performance of these systems is affected by uncertainties and its stabilization is a main concern of recent studies. Existing work on stabilization of these systems only provides asymptotical stabilization via designing switching strategy and state-feedback controller. In this paper, a new switching strate...

  This study investigated the effect of gender and type of written corrective feedback (WCF) on Iranian pre-intermediate EFL learners’ writing. Four intact classes were assigned to experimental and two intact classes to control groups. The learners were homogenized using a pre-test which was followed by sixteen sessions lasting one hour and forty five minutes. After receiving instruction on how...

In this paper a new nonlinear guidance law with finite time convergence is proposed. The second order integrated guidance and control loop is formulated considering a first order control loop dynamics. By transforming the state equations to the normal form, a finite time stabilizer feedback linearization technique is proposed to guarantee the finite time convergence of the system states to zero...

We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of composition arising in denotational semantics are captured in the same framework: our leading examples are nondeterministic call-by-need programs and nonstrict functions with side effects. Composition of such functions is treate...

In this paper, it is shown that by exploiting the explicit parametric state feedback solution, it is feasible to obtain the ultimate solution to minimum sensitivity problem. A numerical algorithm for construction of a robust state feedback in eigenvalue assignment problem for a controllable linear system is presented. By using a generalized parametric vector companion form, the problem of eigen...