Trends in Functional Programming Volume 5
1st Edition
Published on 1. January 2006
155 pages
978-1-84150-956-3 (ISBN)
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.
More details
Series
Edition
1. Auflage
Language
English
Place of publication
Bristol
United Kingdom
Publishing group
Intellect
Target group
Professional and scholarly
ISBN-13
978-1-84150-956-3 (9781841509563)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Hans-Wolfgang Loidl
Trends in Functional Programming Volume 5
Book
03/2013
Intellect Books
€47.00
Article not available at the moment
Content
- Front Cover
- Preliminary Pages
- Contents
- Proof Support for General Type Classes
- Introduction
- Sparkle
- Preliminaries
- Structural induction
- Induction on instances
- Multiple class constraints
- Implementation
- Related and future work
- Conclusion
- References
- Generic Proofs for Combinator-based Generic Programs
- Introduction
- `Boilerplate' combinators as generic functions
- Generic proofs for `boilerplate' combinators
- A proof of the fusion law for gmapT
- A theorem about occurs
- A fusion law for everywhere
- Conclusions and further work
- Proof of lemma 2.1
- Proof of lemma 2.2
- Proof of lemma 2.3
- Proof of theorem 2.5 (continued)
- References
- Building certified components within focal
- Introduction
- focal requirements and design principles
- Overview of focal
- A complete example
- Compiling
- Applications
- Related work
- Conclusion and future work
- References
- Calculating an Exceptional Machine
- Introduction
- Abstract machines
- Arithmetic expressions
- Adding exceptions
- Further work
- References
- Generalizing the augment Combinator
- Introduction
- Semantics of fold/build
- The augment of free monads
- A generalized augment combinator
- Conclusion and future work
- References
- Alice Through the Looking Glass
- Introduction
- Futures
- Higher-order modules
- Packages
- Components
- Decomposing components
- Distribution
- Implementation
- Related work
- Outlook
- References
- Experiments with GHC's Optimiser
- Introduction
- Contributions of the paper
- The setup
- The method
- Evaluation
- Related work
- Conclusions
- References
- Disjoint Forms in Graphical User Interfaces
- Introduction
- FunctionalForms summary
- Combinators for disjoint forms
- Implementation
- Safety
- Related work
- Conclusions and future work
- References
- A Graphic Functional-Dataflow Language
- Introduction
- Outline of the NiMo language
- The NiMo environment
- Current state and future work
- Concluding remarks
- References
- Back Cover
