Trends in Functional Programming Volume 1 - Hardcover

Hardcover

ISBN 10: 1841500240 ISBN 13: 9781841500249

Verlag: Intellect Books, 2000

Inhaltsangabe

This book brings together leading researchers and practitioners in the field of functional programming. The work presented here covers many aspects of the field, including:

• language design 
• proof and transformation
• semantics and models
• implementation
• applications
• type systems
• parallelism and distribution
• performance modelling and profiling
• programming methodologies

The Editors provide a substantial introduction to a wide ranging set of papers, arranged by subject area. Appropriate overviews and summaries bring strong thematic links between chapters and sections covering:

• Parallel Systems and Programming
• Type Systems
• Architectures and Implementations
• Applications
• Theory

The articles themselves are drawn from the First Scottish Functional Programming Workshop, held in Stirling in 1999. Central Scotland has been very influential in the development of functional programming, with notable contributions including the design, implementation and use of the SASL, Standard ML and Haskell languages. 

The Workshops provide an international forum, linking a vibrant Scottish core with the wider community. As a product of this forum, the book brings a broad perspective on current research trends and practice in the field.

Über diesen Titel

Reseña del editor

Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling, education, real time and reactive programming, programming methodologies. The volume brings together many leading practitioners and contextualises their contributions through a substantial introduction, appropriate overviews and summaries, and a rich bibliography and index.

Details zur Ausgabe

• Verlag: Intellect Books
• Erscheinungsdatum: 2000
• ISBN 10: 1841500240
• ISBN 13: 9781841500249
• Einband: Tapa dura
• Sprache: Englisch
• Anzahl der Seiten: 256
• Herausgeber: Loidl Hans-Wolfgang, Trinder Phil, Michaelson Greg
• Kontakt zum Hersteller: Nicht verfügbar