Winâ Foy : functional object-oriented programming language

This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages that support both Self types and subtyping. Subtyping is a concept that is taken for granted by most software engineers programming in object-oriented languages. Subtyping supports subsumption but it does not support the inheritance of binary methods. Binary methods contain an argument of type Self, the same type as the object itself, in a contravariant position, i.e. as a parameter. There are several arguments in favour of introducing Self types into a programming language (11. This rationale led to the development of a relation that has become known as matching [4, 5). The matching relation does not support subsumption, however, it does support the inheritance of binary methods. Two forms of matching have been proposed (lJ. Specifically, these relations are known as higher-order matching and I-bound matching. Previous research on these relations indicates that the higher-order matching relation is both reflexive and transitive whereas the f-bound matching is reflexive but not transitive (7]. The higher-order matching relation provides significant flexibility regarding inheritance of methods that utilize or return values of the same type. This flexibility, in certain situations, can restrict the programmer from defining specific classes and methods which are based on constant values [21J. For this reason, the type This is used as a second reference to the type of the object that cannot, contrary to Self, be specialized in subclasses. F-bound matching allows a programmer to define a function that will work for all types of A', a subtype of an upper bound function of type A, with the result type being dependent on A'. The use of parametric polymorphism in f-bound matching provides a connection to subtyping in object-oriented languages. This thesis will contain two main sections. Firstly, significant details concerning deficiencies of the subtype relation and the need to introduce higher-order and f-bound matching relations into programming languages will be explored. Secondly, a new programming language named Win--*Foy Functional Object-Oriented Programming Language has been created, along with a suitable user interface, in order to facilitate experimentation by programmers regarding the matching relation. The construction of the programming language and the user interface will be explained in detail.

Geology of Hebes Chasma, Valles Marineris, Mars

Hebes Chasma is an 8 km deep, 126 by 314 km, isolated basin that is partially filled with interior layered deposits (ILD), massive deposits of water altered strata. By analyzing the ILD’s structure, stratigraphy and mineralogy, as well as the perimeter faults exposed in the plateau adjacent to the chasma, the evolution and depositional history of Hebes Chasma is interpreted. Three distinct ILD units were found and are informally referred to as the Lower, Upper and Late ILDs. These units have differing layer thicknesses, layer attitudes, mineralogies and erosional landforms. Based on observations of the plateau, wall morphology and slump blocks within the chasma’s interior, chasma evolution appears to be controlled by cross-faults that progressively detached sections of the wall. A scenario involving the loss of subsurface volume and ash fall events is proposed as the dominant setting throughout Hebes’ geologic history.

Palynology and foraminiferal geochemistry of the Lower Pleistocene Olduvai Subchron (ca. 1.8 Ma) in DSDP Hole 603C, western North Atlantic

Marine palynology and benthic and planktonic foraminiferal geochemistry are combined to reveal long- and short-term (Milankovitch-scale) paleoceanographic changes across the upper half of the Olduvai Subchron (ca. 1.86--1.77 Ma, lower Pleistocene) in DSDP Hole 603C from the lower New Jersey continental rise. Planktonic foraminiferal Mg/Ca ratios reveal annual sea-surface temperatures between 14.5° and 25°C, whereas modern values vary between 16° and 20°e. Despite evidence of downslope transport in much of the studied interval, dinoflagellate cyst and acritarch assemblages appear to reflect fluctuating temperate to subtropical water masses. These assemblages comprise both neritic and oceanic species, and are marked by a transition upsection from warm conditions, dominated by Lingulodinium machaerophorum, Polysphaeridium zoharyi and Cymatiosphaera? invaginata, to cooler conditions dominated by Filisphaera filifera. Combining dinoflagellate cyst proxies with planktonic foraminiferal geochemistry allows downslope transport events to be recognized during glacial episodes, and events dominated by intensified bottom-water circulation during interglacial episodes. Sixtytwo in-situ dinoflagellate cyst and acritarch taxa were recorded including several not previously described.