{"title":"Trends In Functional Programming","description":null,"products":[{"product_id":"trends-in-functional-programming-volume-6-book-marko-van-eekelen-9781841501765","title":"Trends in Functional Programming Volume 6","description":"This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50468716839185,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50468718838033,"sku":"GOR013788781","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50468720476433,"sku":"GOR004373888","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408894161169,"sku":"NLS9781841501765","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/184150176X.jpg?v=1791908504"},{"product_id":"trends-in-functional-programming-volume-1-book-hans-wolfgang-loidl-9781841500249","title":"Trends in Functional Programming Volume 1","description":"Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling, education, real time and reactive programming, programming methodologies. The volume brings together many leading practitioners and contextualises their contributions through a substantial introduction, appropriate overviews and summaries, and a rich bibliography and index.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408147050769,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408147869969,"sku":"NLS9781841500249","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841500249.jpg?v=1758774250"},{"product_id":"trends-in-functional-programming-volume-8-book-marco-morazn-9781841501963","title":"Trends in Functional Programming Volume 8","description":"Presents some of the research results in the implementation of functional programming languages and the practice of functional programming. This volume contains the peer-reviewed selection of the best articles presented at TFP 2007, the Eighth Symposium on Trends in Functional Programming, which was held in New York City on April 2-4, 2007.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408238440721,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408239227153,"sku":"NLS9781841501963","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841501963.jpg?v=1793770408"},{"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":"trends-in-functional-programming-volume-4-book-stephen-gilmore-9781841501222","title":"Trends in Functional Programming Volume 4","description":"This volume presents edited contributions to the second Scottish Functional Programming Workshop. The authors deal with highly active research areas and consider such issues as: performance comparisons between different functional languages; the profitable use modern parallel architectures; applications of functional languages; and the use of principled type safety for term rewriting strategies.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52409796919569,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52409797574929,"sku":"NLS9781841501222","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841501222.jpg?v=1794308646"},{"product_id":"trends-in-functional-programming-volume-5-book-hans-wolfgang-loidl-9781841501444","title":"Trends in Functional Programming Volume 5","description":"This book presents latest research developments in the area of functional programming. The contributions, in this volume, cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and, language support for concurrency and distribution. The \"TFP\" series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52409923338513,"sku":"NLS9781841501444","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841501444.jpg?v=1788604250"},{"product_id":"trends-in-functional-programming-volume-9-book-pieter-koopman-9781841502779","title":"Trends in Functional Programming Volume 9","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410207404305,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410207797521,"sku":"NLS9781841502779","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841502779.jpg?v=1791985001"},{"product_id":"trends-in-functional-programming-volume-7-book-henrik-nilsson-9781841501888","title":"Trends in Functional Programming Volume 7","description":"This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006.TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science.True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52410540785937,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52410541146385,"sku":"NLS9781841501888","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841501888.jpg?v=1758778553"},{"product_id":"trends-in-functional-programming-volume-2-book-stephen-gilmore-9781841500584","title":"Trends in Functional Programming Volume 2","description":"This volume presents edited contributions to the second Scottish Functional Programming Workshop. The authors deal with highly active research areas and consider such issues as: performance comparisons between different functional languages; the profitable use modern parallel architectures; applications of functional languages; and the use of principled type safety for term rewriting strategies.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52668637217041,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52668638134545,"sku":"NLS9781841500584","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781841500584.jpg?v=1793749201"}],"url":"https:\/\/www.worldofbooks.com\/collections\/trends-in-functional-programming-book-series.oembed","provider":"World of Books ","version":"1.0","type":"link"}