Abstract Gradualizing System F has been widely discussed. A big challenge is to preserve relational parametricity and/or the gradual guarantee. Most past work focused on preservation of parametricity, but often without few recent works satisfy both properties by giving up syntax, or with some restrictions and introduction sophisticated mechanisms in dynamic semantics. While important for polymo...

Gradualizing the Calculus of Inductive Constructions (CIC) involves dealing with subtle tensions between normalization, graduality, and conservativity respect to CIC. Recently, GCIC has been proposed as a parametrized gradual type theory that admits three variants, each sacrificing one these properties. For devising proof assistant based on CIC, normalization CIC are key, but tension graduality...

ance.” He acknowledged that, in order to defend themselves against the Soviet threat as long as i t lasts, the peoples on both sides of the Atlantic must be linked together, and more specifically, he asserted that despite divergencies over the organization and functioning of the alliance itself, France and the United States would be side by side again in the event of a general war. In short, on...

Abs t rac t . Topoi are gradual inference rules, often used by experts in several problem classes: they can be exploited at various phases of a knowledge-based system life cycle. They can be studied at the two levels distinguished by Newelh the knowledge level and the symbol level. Some knowledge elicitation techniques such as rating grids and some knowledge acquisition methods such as KADS and...

Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ→. Gradual typing provides the benefits of both static and dynamic checking in a single language by allowing the programmer to control whether a portion of the program is type checked at compile-time or run-time by adding or removing type...

With the steady development of the computing tools, we attended last three decades a considerable increase of the quantity of data stored in databases. So, extracting knowledge from this data is of paramount importance. Data mining is becoming an inescapable tool to reach this goal. Association rule extraction is one of the important tasks in data mining. This powerful technique has a wide rang...

Gradual Ownership Types are a framework allowing programs to be partially annotated with ownership types, while providing the same encapsulation guarantees. The formalism provides a static guarantee of the desired encapsulation property for fully annotated programs, and dynamic guarantees for partially annotated programs via dynamic checks inserted by the compiler. This enables a smooth migrati...