Subterranean glacial spillways: an example from the karst of South Wales, UK

Many karst areas in the UK have been glaciated one or more times during the last 0.5 Ma, yet there are few documented examples of caves in these regions being affected by glacial processes other than erosion. The karst of South Wales is one area where sub or pro-glacial modification of pre-existing caves is thought to occur. Evidence from the Ogof Draenen cave system suggests that caves can sometimes act as subterranean glacial ‘underspill’ channels for melt-water. This cave, one of the longest in Britain with a surveyed length of over 70 km, underlies the interfluve between two glaciated valleys. Sediment fills and speleo-morphological observations indicate that melt-water from a high level glacier in the Afon Lwyd valley (>340m asl) filled part of the cave and over-spilled into the neighbouring Usk valley, temporarily reversing non-glacial groundwater flow directions in the cave. It is suggested that this may have occurred during a Middle Pleistocene glaciation

Brand Objects for Nominal Typing

Combinations of structural and nominal object typing in systems such as Scala, Whiteoak, and Unity have focused on extending existing nominal, class-based systems with structural subtyping. The typical rules of nominal typing do not lend themselves to such an extension, resulting in major modifications. Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, along with a static type checker which treats the brands as nominal types. We demonstrate that the brands are useful in an existing implementation of Grace, and provide a formal model of the extension to the language

Brand Objects for Nominal Typing (Artifact)

In Brand Objects for Nominal Typing, we describe an implementation of a branding system for both runtime and static types. This artifact provides the extended form of Hopper, an interpreter for the Grace programming language, and extra modules which define both the dynamic objects and the modular static type checker. The extra modules extend the existing structural type checker in the provided version of Hopper, and are capable of statically checking code which interacts with statically determinable declarations of brand objects, including singleton brand constructors, brand sums, and dynamic variables which are known to contain some brand value at runtime. The dynamic brand objects extend this behaviour to the runtime, enforcing non-static contracts and allowing runtime type testing

Community Change within a Caribbean Coral Reef Marine Protected Area following Two Decades of Local Management

Structural change in both the habitat and reef-associated fish assemblages within spatially managed coral reefs can provide key insights into the benefits and limitations of Marine Protected Areas (MPAs). While MPA zoning effects on particular target species are well reported, we are yet to fully resolve the various affects of spatial management on the structure of coral reef communities over decadal time scales. Here, we document mixed affects of MPA zoning on fish density, biomass and species richness over the 21 years since establishment of the Saba Marine Park (SMP). Although we found significantly greater biomass and species richness of reef-associated fishes within shallow habitats (5 meters depth) closed to fishing, this did not hold for deeper (15 m) habitats, and there was a widespread decline (38% decrease) in live hard coral cover and a 68% loss of carnivorous reef fishes across all zones of the SMP from the 1990s to 2008. Given the importance of live coral for the maintenance and replenishment of reef fishes, and the likely role of chronic disturbance in driving coral decline across the region, we explore how local spatial management can help protect coral reef ecosystems within the context of large-scale environmental pressures and disturbances outside the purview of local MPA management.Funding was provided by the Saba Conservation Foundation ((SCF), King Abdullah University of Science and Technology, The Australian National University and Australian Research Council. The funders had no role in study design and analysis, decision to publish, or preparation of the manuscript. Staff of the SCF were involved in data collection