The Hindley/Milner polymorphic type system has been adopted in many programming languages because it provides the convenience of programming languages like Lisp along with the correctness guarantees that come with static type-checking. However, programming environments for such languages are still not as exible as those for Lisp. In particular, the style of incremental, top-down program develop...

The study of individual difference variables in the realm of written feedback is one of the significant lines of research which has been reinvigorated in the last few years. These variables are believed to affect both students’ engagement with feedback and their writing improvement. The present correlational study investi- gated the relationship betw...

The detailed mechanical properties of various layers of the coronary artery are important for understanding the function of the vessel. The present article is focused on the determination of the incremental modulus in different layers and directions in the neighborhood of the in vivo state. The incremental modulus can be defined for any material subjected to a large deformation if small perturb...

This paper is concerned with the incremental interpretation of exophoric referring descriptions with relative gradable adjectives, such as the description in the instruction ‘Pick up the tall glass’. Relative adjectives such as ‘tall ’ are typically considered subsective with respect to the denotation of the head noun and thus pose a challenge to incremental approaches that operate strictly fro...

As conceived by Carol Dweck, implicit theory of intelligence concerns the extent to which intelligence is perceived as a malleable trait. This paper presents a new 14-item measure; the Implicit Theory of Intelligence Scale (ITIS). The ITIS was trialled on two samples of 162 and 940 first year university students in Australia and Egypt, respectively. An exploratory factor analysis for each sampl...

We propose here a mathematical framework for incremental software construction and controlled software evolution. The framework allows incremental changes of a software system to be described on a high architecture level, but still with mathematical precision so that we can reason about the correctness of the changes. The framework introduces refinement diagrams as a visual way of presenting th...

In a practical sense, database mining applications involve semi-automatic data analysis methods that help users to discover some non-trivial knowledge. We are interested in four kinds of database mining queries: association, hypothesis testing, classiication, and characterization. Since these queries can be viewed as special cases of data dependencies in a relation, the rough set theory provide...