Compiling Exceptions Correctly

Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness.

European Cosmopolitanism and Civil Society

The discussion of European cosmopolitanism and civil society has failed to take questions of culture seriously enough. While remaining sympathetic to liberal forms of cosmopolitanism, this article considers the view that such proposals fail to make space for the 'Other'. In the context of histories of nationalist violence, masculinism and consumerism this article discusses the charge that ideas of European civilization need to be reconsidered. In the final part of the article, I discuss the view that cultural feminism and certain versions of multiculturalism have much to contribute towards the European project. However, at this point, I seek to distance myself from essentialist arguments in respect of identity. A generative European cosmopolitanism would do well to take questions of cultural domination seriously without reducing the complexity of modern identities.