Trends in Functional Programming V 5: Volume 5

Loidl, Hansâ wolfgang

ISBN 10: 1841501441 / ISBN 13: 9781841501444

Edité par Intellect, 2013

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers. N° de réf. du vendeur wbs1196322935

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.

À 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.

Détails bibliographiques

Titre : Trends in Functional Programming V 5: Volume...
Éditeur : Intellect
Date d'édition : 2013
Reliure : Couverture souple
Etat : Good