Adding Polymorphic Abstraction to ML (Detailed Abstract)

The ML programming language restricts type polymorphism to occur only in the "let-in" construct and requires every occurrence of a formal parameter of a function (a lambda abstraction) to have the same type. Milner in 1978 refers to this restriction (which was adopted to help ML achieve automatic type inference) as a serious limitation. We show that this restriction can be relaxed enough to allow universal polymorphic abstraction without losing automatic type inference. This extension is equivalent to the rank-2 fragment of system F. We precisely characterize the additional program phrases (lambda terms) that can be typed with this extension and we describe typing anomalies both before and after the extension. We discuss how macros may be used to gain some of the power of rank-3 types without losing automatic type inference. We also discuss user-interface problems in how to inform the programmer of the possible types a program phrase may have.

Typed Abstraction of Complex Network Compositions

The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the design and implementation of robust network services largely inaccessible to the average programmer. We propose the development of a novel type system and practical type spaces which reflect simplified representations of the results and conclusions which can be derived from complex compositional theories in more accessible ways, essentially allowing the system architect or programmer to be exposed only to the inputs and output of compositional analysis without having to be familiar with the ins and outs of its internals. Toward this end we present the TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) framework, a simple flow-composition and typing language with corresponding type system. We then discuss and demonstrate the expressive power of a type space for TRAFFIC derived from the network calculus, allowing us to reason about and infer such properties as data arrival, transit, and loss rates in large composite network applications.

The abstraction of form in semantic categories.

Undergraduates were asked to generate a name for a hypothetical new exemplar of a category. They produced names that had the same numbers of syllables, the same endings, and the same types of word stems as existing exemplars of that category. In addition, novel exemplars, each consisting of a nonsense syllable root and a prototypical ending, were accurately assigned to categories. The data demonstrate the abstraction and use of surface properties of words.

Borehole Optimisation System (BOS) - a case study assessing options for abstraction of urban groundwater in Nottingham, UK

The recognition that urban groundwater is a potentially valuable resource for potable and industrial uses due to growing pressures on perceived less polluted rural groundwater has led to a requirement to assess the groundwater contamination risk in urban areas from industrial contaminants such as chlorinated solvents. The development of a probabilistic risk based management tool that predicts groundwater quality at potential new urban boreholes is beneficial in determining the best sites for future resource development. The Borehole Optimisation System (BOS) is a custom Geographic Information System (GIs) application that has been developed with the objective of identifying the optimum locations for new abstraction boreholes. BOS can be applied to any aquifer subject to variable contamination risk. The system is described in more detail by Tait et al. [Tait, N.G., Davison, J.J., Whittaker, J.J., Lehame, S.A. Lerner, D.N., 2004a. Borehole Optimisation System (BOS) - a GIs based risk analysis tool for optimising the use of urban groundwater. Environmental Modelling and Software 19, 1111-1124]. This paper applies the BOS model to an urban Permo-Triassic Sandstone aquifer in the city centre of Nottingham, UK. The risk of pollution in potential new boreholes from the industrial chlorinated solvent tetrachloroethene (PCE) was assessed for this region. The risk model was validated against contaminant concentrations from 6 actual field boreholes within the study area. In these studies the model generally underestimated contaminant concentrations. A sensitivity analysis showed that the most responsive model parameters were recharge, effective porosity and contaminant degradation rate. Multiple simulations were undertaken across the study area in order to create surface maps indicating areas of low PCE concentrations, thus indicating the best locations to place new boreholes. Results indicate that northeastern, eastern and central regions have the lowest potential PCE concentrations in abstraction groundwater and therefore are the best sites for locating new boreholes. These locations coincide with aquifer areas that are confined by low permeability Mercia Mudstone deposits. Conversely southern and northwestern areas are unconfined and have shallower depth to groundwater. These areas have the highest potential PCE concentrations. These studies demonstrate the applicability of BOS as a tool for informing decision makers on the development of urban groundwater resources. (c) 2007 Elsevier Ltd. All rights reserved.

Hydrogen abstraction from ionic liquids by benzophenone triplet excited states

The activation energy for hydrogen abstraction from imidazolium-based ionic liquids is significantly higher than that observed in conventional solvents.

Women artists of the international avant-garde: the case of "Abstraction-Création" (1931-1936)

Women’s contribution to abstract art in the interwar period is a subject that, to date, has received very little attention. In this article we deal with the untold story of the participation of women artists in Abstraction-Création, the foremost international group dedicated to abstract art in the 1930s. Founded in Paris in 1931, the group took on the work of two previous collectives to become a platform for the dissemination and promotion of abstract art and consisted of around a hundred members. Twelve of these were women, whose writings and works were published in the group’s annual magazine, abstraction creátion art non figuratif (1932-1936), and who participated in a number of the group’s exhibitions. Compared to what had occurred in previous groups, the participation of women, although reduced in number, was comparable to that of the male artists and being members of the group had a generally positive impact on the women’s careers. However, all this came at the expense of relinquishing any gender specificity in their work and the public presentation of it, and demonstrates that the normalization of women’s contributions to the avant-garde could only be brought about alongside a questioning of the more dogmatic views of modernity.

The conflict between realism and abstraction in the field of spanish art as an iteration of la "Querelle des Anciens et des Modernes"

Based on the analysis model favored by the study of the conditions in which the seventeenth century Querelle des Anciens et des Modernes took place, we examine the case of confrontation between realism and abstraction, which occurred in the context of Spanish art in the nineties of the twentieth century. Connections are established with other aesthetic conflicts which are considered part of a genealogy whose most explicit antecedent could be placed in the before mentioned complaint, such as the confrontation between realism and abstraction in the American art scene, which occurred in the fifties of the last century, and the more recent controversy on pluralism and the end of art.

Spacing abstraction: capitalism, law and the metropolis

In considering contemporary accounts of the interrelations of economic, legal and urban forms of social relations in the emergence of a global capitalist modernity, this paper argues that politico-juridical imaginaries of new forms of transnational universality have tended to be limited by virtue of both an anachronistic recourse to spatial models of the polis and a failure to confront the ineliminability of abstraction to any idea of global social interconnectivity. In such terms, it argues, Lefebvre’s famous call for a ‘right to the city’ needs to be reinscribed as a properly modern right to the metropolis; one that would allow us to conceive of the possibility of new kinds of relation between individual and collective subjectivity and the development of abstract social forms.