{"title":"Kevin Hammond","description":null,"products":[{"product_id":"implementation-of-functional-languages-book-kevin-hammond-9783540662297","title":"Implementation of Functional Languages","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.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129998897425,"sku":"NLS9783540662297","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540662297.jpg?v=1791934070"},{"product_id":"functional-programming-glasgow-1994-book-kevin-hammond-9783540199144","title":"Functional Programming, Glasgow 1994","description":"This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. As in previous years, we spent three days closeted together in a pleasant seaside town, isolated from normal work commitments. We were joined by colleagues from other universities (both UK and abroad) and from industry. Workshop participants presented a short talk about their current research work, and produced a paper which appeared in a draft proceedings. These papers were then reviewed and revised in the light of discussions at the workshop and the referees' comments. A selection of those revised papers (the majority of those presented at the workshop) appears here in the published proceedings. The papers themselves cover a wide span, from theoretical work on algebras and bisimilarity to experience with a real-world medical applica- tion. Unsurprisingly, given Glasgow's track record, there is a strong emphasis on compilation techniques and optimisations, and there are also several papers on concurrency and parallelism.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52331270308113,"sku":"NLS9783540199144","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540199144.jpg?v=1785769415"},{"product_id":"trends-in-functional-programming-volume-3-book-kevin-hammond-9781841500706","title":"Trends in Functional Programming Volume 3","description":"\u003cp\u003eThis book brings together leading researchers and practitioners in the field of functional programming. The work presented here covers many aspects of the field, including:\u003c\/p\u003e\n\n\u003cul\u003e\n\u003cli\u003elanguage design \u003c\/li\u003e\n\u003cli\u003eproof and transformation\u003c\/li\u003e\n\u003cli\u003esemantics and models\u003c\/li\u003e\n\u003cli\u003eimplementation\u003c\/li\u003e\n\u003cli\u003etype systems\u003c\/li\u003e\n\u003cli\u003eparallelism and distribution\u003c\/li\u003e\n\u003cli\u003eperformance modelling and profiling\u003c\/li\u003e\n\u003cli\u003eprogramming methodologies\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003eThe Editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles, including:\u003c\/p\u003e\n\n\u003cul\u003e\n\u003cli\u003eapplications\u003c\/li\u003e\n\u003cli\u003eimplementation techniques\u003c\/li\u003e\n\u003cli\u003eparallel systems and programming\u003c\/li\u003e\n\u003cli\u003ememory architectures\u003c\/li\u003e\n\u003cli\u003etype systems\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003eThe articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include the design, implementation and use of the SASL, Standard ML and Haskell languages. \u003c\/p\u003e\n\n\u003cp\u003eThe Workshops provide an international forum, linking a vibrant Scottish core with the wider community. As a product of this forum, the book brings a broad perspective on current research trends and practice in the field.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408253153553,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408253546769,"sku":"NLS9781841500706","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841500706.jpg?v=1793732582"},{"product_id":"research-directions-in-parallel-functional-programming-book-kevin-hammond-9781852330927","title":"Research Directions in Parallel Functional Programming","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 lO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the program's code can be made up of marshalling and coordination algorithms. The core application can easily be obscured by a maze of plumbing. Functional programming is a radical, elegant, high-level attack on the programming problem. Radical, because it dramatically eschews side-effects; elegant, because of its close connection with mathematics; high-level, be- cause you can say a lot in one line. But functional programming is definitely not (yet) mainstream. That's the trouble with radical approaches: it's hard for them to break through and become mainstream. But that doesn't make functional programming any less fun, and it has turned out to be a won- derful laboratory for rich type systems, automatic garbage collection, object models, and other stuff that has made the jump into the mainstream.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52616660943121,"sku":"NLS9781852330927","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781852330927.jpg?v=1785792570"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-kevin-hammond.oembed","provider":"World of Books ","version":"1.0","type":"link"}