Pure functional programming language offer many advantages over impure languages. Unfortunately, the absence of destructive update, imposes a complexity barrier. In imperative languages, there are algorithms and data structures with better complexity. We present our project for combining existing program transformation techniques to transform inefficient pure data structures into impure ones wi...

Traditional fiscal federalism theory postulates that devolution for the provision of local public goods increases welfare. However, most of the services offered at local level are local impure public goods whose characteristics may prevent devolution from being efficient. Our paper shows that devolution is the optimal choice only for local impure public goods. For an environment characterised b...

This paper develops an impure public good model to analyze the comparative statics of environmentally friendly consumption. ‘‘Green’’ products are treated as impure public goods that arise through joint production of a private characteristic and an environmental public characteristic. The model is distinct from existing impure public good models because of the way it considers the availability ...