Product Description: Where is this story set and how do you define what it is about? Well, now you’re asking for it. Dimensions and space, here on Earth and elsewhere, everywhere in fact. Our madness here on Earth is our own preferential madness but let us not assume that madness is the only brand...read more

Product Description: Papers from the 3rd Scottish Functional Programming Workshop, held in August 2001 in Stirling, Scotland, cover issues related to applications, compiler optimizations, parallelism, and type theory, as well as language design, proof and transformation, semantics and models, performance modeling and profiling, and programming methodologies...read more

The theatrum mundi metaphor was well-known in the Golden Age, and was often employed, notably by Calderón in his religious theatre. However, little account has been given of the everyday exploitation of the idea of the world as stage in the mainstream drama of the Golden Age. This study examines how and why playwrights of the period time and again created characters who dramatize themselves, who re-invent themselves by performing new roles and inventing new plots within the larger frame of the play. The prevalence of metatheatrical techniques among Golden Age dramatists, including Lope de Vega, Tirso de Molina, Calderón de la Barca and Guillén de Castro, reveals a fascination with role-playing and its implications. Thacker argues that in comedy, these playwrights saw role-playing as a means by which they could comment on and criticize the society in which they lived, and he reveals a drama far less supportive of the social status quo in Golden Age Spain than has been traditionally thought to be the case.

Product Description: Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.The 15 revised full papers presented were carefully selected during two rounds of reviewing...read more (view table of contents, read Amazon.com's description)

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing...read more (view table of contents, read Amazon.com's description)

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.