Trends in Functional Programming Volume 3
Will be published approx. on 5. January 2013
Book
Hardback
200 pages
978-1-84150-070-6 (ISBN)
Description
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
type systems
parallelism and distribution
performance modelling and profiling
programming methodologies
The Editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles, including:
applications
implementation techniques
parallel systems and programming
memory architectures
type systems
The articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include 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.
language design
proof and transformation
semantics and models
implementation
type systems
parallelism and distribution
performance modelling and profiling
programming methodologies
The Editors introduce a wide-ranging set of articles, arranged by general subject area. Short overviews bring strong thematic links between individual articles, including:
applications
implementation techniques
parallel systems and programming
memory architectures
type systems
The articles themselves are drawn from the series of Scottish Functional Programming Workshops. Central Scotland has been highly influential in the development of functional programming with notable contributions that include 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.
More details
Series
Language
English
Place of publication
United Kingdom
Publishing group
Intellect
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 170 mm
Width: 230 mm
ISBN-13
978-1-84150-070-6 (9781841500706)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
1 Haskell: Language for Business Systems 1
Dan Russell, Dominic Steinitz and Chris Reade
1.1 Introduction 1
1.2 Background and Related Work 2
1.3 LDAP 3
1.4 The LDAP Client 5
1.5 Using the LDAP API 9
1.6 Conclusions and Further Work 11
2 Infinite Pretty-printing in eXene 13
Allen Stoughton
2.1 Pretty-printing with Elision 13
2.2 Infinite Pretty-printing in eXene 15
2.3 Flexible Text Values 15
2.4 Pretty-printing Trees 16
2.5 The eXene Flexible Text Widget 20
2.6 Pretty-Printing Examples 21
2.7 Conclusion
3 Extending Higher-Order Deforestation: Transforming Programs to
Eliminate Even More Trees 25
Geoffrey Hamilton
3.1 Introduction 25
3.2 Language 27
3.3 Extended Higher-Order Treeless Form 28
3.4 The Extended Higher-Order Deforestation Algorithm 32
3.5 The Extended Higher-Order Deforestation Theorem 34
3.6 Conclusion 35
4 BSP in a Lazy Functional Context 37
Quentin Miller
4.1 Introduction 37
4.2 BSP Computation 38
4.3 A Vector Calculus 39
4.4 The Structure of BSP-Haskell 40
4.5 Broadcast Functions 41
4.6 Implementations 42
4.7 Cost Predictions and Measurements 46
4.8 Summary and Further Research 47
5 Deriving Non-Hierarchical Process Topologies 51
Ricardo Pena, Fernando Rubio, Clara Segura
5.1 Introduction 51
5.2 Eden 52
5.3 Methodology to Derive Non-Hierarchical Topologies 54
5.4 Examples of Non-Hierarchical Topologies 56
5.5 Conclusion 61
6 Load Balancing in a Parallel Graph Reducer 63
Hans-Wolfgang Loidl
6.1 Introduction 63
6.2 GUM: A Parallel Graph Reducer 64
6.3 Accessing the Load Distributer in GUM 66
6.4 Related Work 72
6.5 Conclusions 73
7 Paging in a Distributed Virtual Memory 75
Marco T. Morazan, Douglas R. Troeger, Myles Nash
7.1 Introduction 75
7.2 Related Work 76
7.3 The MT System 78
7.4 Virtual Memory Performance of the MT Heap 81
7.5 Explaining the Competitiveness of FIFO 83
7.6 Concluding Remarks 84
8 How to Repair Type Errors Automatically 87
Bruce McAdam
8.1 Introduction- Error Messages 87
8.2 The Theory Behind this System 89
8.3 Implementing the Theory 90
8.4 Performance and Testing 95
8.5 Conclusions 97
9 The Dual of Substitution is Redecoration 99
Tarmo Uustalu, Varmo Vene
9.1 Introduction 99
9.2 Monads 101
9.3 Comonads 101
9.4 Monads of Trees and Cotrees 102
9.5 Comonads of (Co)trees 105
9.6 Conclusion and Future Work 109
10 Function Types in Complete Type Inference 111
Manfred Widera, Christoph Beierle
10.1 Introduction to Complete Type Checking 111
10.2 The Type Language 115
10.3 The Inappropriateness of Function Types 115
10.4 The New Function Type Constructor 116
10.5 Conclusion 121
Dan Russell, Dominic Steinitz and Chris Reade
1.1 Introduction 1
1.2 Background and Related Work 2
1.3 LDAP 3
1.4 The LDAP Client 5
1.5 Using the LDAP API 9
1.6 Conclusions and Further Work 11
2 Infinite Pretty-printing in eXene 13
Allen Stoughton
2.1 Pretty-printing with Elision 13
2.2 Infinite Pretty-printing in eXene 15
2.3 Flexible Text Values 15
2.4 Pretty-printing Trees 16
2.5 The eXene Flexible Text Widget 20
2.6 Pretty-Printing Examples 21
2.7 Conclusion
3 Extending Higher-Order Deforestation: Transforming Programs to
Eliminate Even More Trees 25
Geoffrey Hamilton
3.1 Introduction 25
3.2 Language 27
3.3 Extended Higher-Order Treeless Form 28
3.4 The Extended Higher-Order Deforestation Algorithm 32
3.5 The Extended Higher-Order Deforestation Theorem 34
3.6 Conclusion 35
4 BSP in a Lazy Functional Context 37
Quentin Miller
4.1 Introduction 37
4.2 BSP Computation 38
4.3 A Vector Calculus 39
4.4 The Structure of BSP-Haskell 40
4.5 Broadcast Functions 41
4.6 Implementations 42
4.7 Cost Predictions and Measurements 46
4.8 Summary and Further Research 47
5 Deriving Non-Hierarchical Process Topologies 51
Ricardo Pena, Fernando Rubio, Clara Segura
5.1 Introduction 51
5.2 Eden 52
5.3 Methodology to Derive Non-Hierarchical Topologies 54
5.4 Examples of Non-Hierarchical Topologies 56
5.5 Conclusion 61
6 Load Balancing in a Parallel Graph Reducer 63
Hans-Wolfgang Loidl
6.1 Introduction 63
6.2 GUM: A Parallel Graph Reducer 64
6.3 Accessing the Load Distributer in GUM 66
6.4 Related Work 72
6.5 Conclusions 73
7 Paging in a Distributed Virtual Memory 75
Marco T. Morazan, Douglas R. Troeger, Myles Nash
7.1 Introduction 75
7.2 Related Work 76
7.3 The MT System 78
7.4 Virtual Memory Performance of the MT Heap 81
7.5 Explaining the Competitiveness of FIFO 83
7.6 Concluding Remarks 84
8 How to Repair Type Errors Automatically 87
Bruce McAdam
8.1 Introduction- Error Messages 87
8.2 The Theory Behind this System 89
8.3 Implementing the Theory 90
8.4 Performance and Testing 95
8.5 Conclusions 97
9 The Dual of Substitution is Redecoration 99
Tarmo Uustalu, Varmo Vene
9.1 Introduction 99
9.2 Monads 101
9.3 Comonads 101
9.4 Monads of Trees and Cotrees 102
9.5 Comonads of (Co)trees 105
9.6 Conclusion and Future Work 109
10 Function Types in Complete Type Inference 111
Manfred Widera, Christoph Beierle
10.1 Introduction to Complete Type Checking 111
10.2 The Type Language 115
10.3 The Inappropriateness of Function Types 115
10.4 The New Function Type Constructor 116
10.5 Conclusion 121