Trends in functional programming volume 5 v 5 paperback march 6 2013 by hans wolfgang loidl editor see all formats and editions hide other formats and editions price new from used from paperback please retry 5000 5000 4111 paperback 5000 5 . 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 trends in functional programming 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. Trends in functional programming volume 5 distributed for intellect ltd paperback 5000 isbn 9781841501444 published march 2013 not for sale in the united kingdom or europe for more information or to order this book please visit https pressuchicagoedu google preview here . Trends in functional programming volume 5 issn series by hans wolfgang loidl 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 . Abstract the trends in functional programming symposia are an annual event dedicated to promoting new research directions in functional programming and to investigating the relationship between functional programming and other branches of computer science the tfp series started in 1999 and the 2008 meeting marked the first decade of the symposium in this paper we identify and discuss the