{"title":"Hans-Wolfgang Loidl","description":null,"products":[{"product_id":"trends-in-functional-programming-book-hans-wolfgang-loidl-9783642404467","title":"Trends in Functional Programming","description":"This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52346366787857,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52346367410449,"sku":"NLS9783642404467","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642404467.jpg?v=1794653772"},{"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-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"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-hans-wolfgang-loidl.oembed","provider":"World of Books ","version":"1.0","type":"link"}