Objective ML is a small practical extension to ML with objects and top level classes. It is fully compatible with ML; its type system is based on ML polymorphism, record types with polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most features of object-oriented languages including multiple inheritance, methods returning self and binary methods as well a...

A fundamental distinction between goods and services is that in the retailing of goods and some services the costs of production and distribution are clearly separable in a non-arbitrary fashion, usually identified as costs of goods sold. They have type I separability. Distribution services, which are also known as attributes, marketing mix or output variables, are produced, distributed and con...

Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover deenability part of stability theory to simplicity theory. In particular, using elimination of hyperimaginaries we prove that for any supersimple T , canonical base of an amalgamation class P is the union of names of-deenitions of P, ranging over stationary L-formulas...

Dynamically typed languages are flexible and impose few burdens on the programmer. In contrast, static typing leads to software that is more efficient and has fewer errors. However, static type systems traditionally require every variable to have one type, and that relationships between types (e.g. subclassing) be declared explicitly. The Whiley language aims to hit a sweet spot between dynamic...

where Q <= Rm is a bounded domain, JS?W denotes m-dimensional Lebesgue measure, (p = (<p\..., (p) is a continuous transformation from Q to Rn (m ^ n) belonging to some Sobolev space W x p' (Q), and (px is the (almost everywhere defined) matrix function (d^/oxj). Here ƒ is a realvalued function o n Q x i ? n x M „ x m , where Mnxm is the space o f n x m matrices. Such integrals arise in the anal...

This paper describes Gammall og, a logic language based on multiset rewriting. The language combines the ability of describing parallel programs made of multiset transformation rules as in GAMMA with the execution model of logic programming in a strongly typed framework as in GG odel. We describe the design choices, the syntax and the semantics of the language, and a prototype implementation.

We describe the core of a new strongly-typed functional programming language called LEAP, a \Language with Eval And Polymorphism." Pure LEAP is an extension of the !-order polymorphic -calculus (F ! ) by global de nitions that allows the representation of programs and the de nition of versions of reify, reflect, and eval for all of F ! . Pure LEAP is therefore highly re exive and strongly typed...

The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed method relies on the rules elaborated for semantically distinct verb classes. To deeply analyse the type, strength, and confidence level of expressed opinion, the system relies on the compositionality principle and lexicon...

We prove a lower bound of 5n − o(n) for the circuit complexity of an explicit (constructible in deterministic polynomial time) Boolean function , over the basis U2. That is, we obtain a lower bound of 5n−o(n) for the number of {and, or} gates needed to compute a certain Boolean function, over the basis {and, or, not} (where the not gates are not counted). Our proof is based on a new combinatori...

We study the approachability ideal I[κ+] in the context of large cardinals and properties of the regular cardinals below a singular κ. As a guiding example consider the approachability ideal I[אω+1] assuming that אω is a strong limit. In this case we obtain that club many points in אω+1 of cofinality אn for some n > 1 are approachable assuming the joint reflection of countable families of stati...