
Trends in Functional Programming Volume 5
Hans-Wolfgang Loidl(Editor)
Intellect Books (Publisher)
Will be published approx. on 6. March 2013
Book
Paperback/Softback
200 pages
978-1-84150-144-4 (ISBN)
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.
More details
Series
Language
English
Place of publication
United Kingdom
Publishing group
Intellect
Target group
Professional and scholarly
Product notice
Paperback (trade)
Dimensions
Height: 229 mm
Width: 153 mm
Thickness: 8 mm
Weight
306 gr
ISBN-13
978-1-84150-144-4 (9781841501444)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Hans-Wolfgang Loidl
Trends in Functional Programming Volume 5
E-Book
01/2006
1st Edition
Intellect Books
€42.99
Available for download
Person
Hans-Wolfgang Loidl is a research associate in the Theoretical Computer Science group at the Department for Informatics, Ludwig-Maximilians University, Munich.