Parametric Compositional Data Types

In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs provide a powerful tool for analysing and manipulating ASTs, they lack a convenient representation of variable binders. In this paper we remedy this deficiency by combining the framework of CDTs with Chlipala's parametric higher-order abstract syntax (PHOAS). We show how a generalisation from functors to difunctors enables us to capture PHOAS while still maintaining the features of the original implementation of CDTs, in particular its modularity. Unlike previous approaches, we avoid so-called exotic terms without resorting to abstract types: this is crucial when we want to perform transformations on CDTs that inspect the recursively computed CDTs, e.g. constant folding.Comment: In Proceedings MSFP 2012, arXiv:1202.240

A survey of formal languages for contracts

In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms

Sustainable agriculture: Vision for the future

Sustainable agriculture: Vision for the future was the focus of a one-day conference held January 8, 1993, at Northeast Iowa Community College in Calmar. A total of 131 persons attended, including farmers, agency personnel, students and interested others (23 were presenters)

Biodegradability of organic matter associated with sewer sediments during first flush

The high pollution load in wastewater at the beginning of a rain event is commonly known to originate from the erosion of sewer sediments due to the increased flow rate under storm weather conditions. It is essential to characterize the biodegradability of organic matter during a storm event in order to quantify the effect it can have further downstream to the receiving water via discharges from Combined Sewer Overflow (CSO). The approach is to characterize the pollutograph during first flush. The pollutograph shows the variation in COD and TSS during a first flush event. These parameters measure the quantity of organic matter present. However these parameters do not indicate detailed information on the biodegradability of the organic matter. Such detailed knowledge can be obtained by dividing the total COD into fractions with different microbial properties. To do so oxygen uptake rate (OUR) measurements on batches of wastewater have shown itself to be a versatile technique. Together with a conceptual understanding of the microbial transformation taking place, OUR measurements lead to the desired fractionation of the COD. OUR results indicated that the highest biodegradability is associated with the initial part of a storm event. The information on physical and biological processes in the sewer can be used to better manage sediment in sewers which can otherwise result in depletion of dissolved oxygen in receiving waters via discharges from CSOS