Skip to main content Site map

Trends in Functional Programming Volume 5


Trends in Functional Programming Volume 5

Paperback by Loidl, Hans-Wolfgang

Trends in Functional Programming Volume 5

WAS £40.95   SAVE £6.14

£34.81

ISBN:
9781841501444
Publication Date:
6 Mar 2013
Language:
English
Publisher:
Intellect Books
Pages:
200 pages
Format:
Paperback
For delivery:
Estimated despatch 20 - 28 May 2024
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.

Back

University of the Highlands & Islands logo