Close Notification

Your cart does not contain any items

Trends in Functional Programming Volume 5

Hans-Wolfgang Loidl



We can order this in for you
How long will it take?


Intellect Books
06 March 2013
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.
Edited by:   Hans-Wolfgang Loidl
Imprint:   Intellect Books
Country of Publication:   United Kingdom
ISBN:   9781841501444
ISBN 10:   1841501441
Series:   Trends in Functional Programming
Pages:   200
Publication Date:   06 March 2013
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

Hans-Wolfgang Loidl is a research associate in the Theoretical Computer Science group at the Department for Informatics, Ludwig-Maximilians University, Munich.

See Also