Trends in Functional Programming: Volume 5 - Couverture souple

 
9781841501444: Trends in Functional Programming: Volume 5
Couverture souple
ISBN 10 : 1841501441 ISBN 13 : 9781841501444
Editeur : Intellect Books, 2013

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Intellect Books
Date d'édition
2013
Langue
anglais
ISBN 10 
1841501441
ISBN 13 
9781841501444
Reliure
Broché
Nombre de pages
200
Éditeur
Loidl Hans-Wolfgang
Coordonnées du fabricant
non disponible
Personne responsable
non disponible