TRENDS IN FUNCTIONAL PROGRAMMING
Edited by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl
Intellect
August 2000
ISBN: 1-84150-024-0
29.95/US$49.95,
This collection, covering a wide range of topics in contemporary functional
programming research, contains refereed papers from the First Scottish
Functional Programming Workshop, held in Stirling in 1999.
For a free copy for yourself, order a copy for your library from Intellect
and email ····@cee.hw.ac.uk with your postal address and evidence of
order(e.g. positive email response from person who authorises book orders).
Free copy only for first person to order for each library. First come first
served.
Intellect, PO Box 862, Bristol BS99 1DE, UK
Tel/Fax: +44 (0) 117 902 0326 Email: ······@intellectbooks.com
www.intellectbooks.com
CONTENTS
PART 1 Parallel Systems and Programming
Bypassing of Channels in Eden
Ulrike Klusik, Ricardo Pena and Clara Segura
From GranSim to Paradise
Felix Hernandez, Ricardo Pena and Fernando Rubio
BSP-based Cost Analysis of Skeletal Programs
Yasushi Hayashi and Murray Cole
High Level BSP Programming: BSML and BSlambda
Olivier Ballereau, Frederic Loulergue and Gaetan Hains
PART 2 Types
Deep Type Inference for Mobile Functions
Stephen Gilmore
Generalising Techniques for Type Debugging
Bruce J. McAdam
Explaining Type Errors by Finding the Source of a Type Conflict
Jun Yang
How to Combine the Benefits of Strict and Soft Typing
Manfred Widera and Christoph Beierle
PART 3 Architectures and Implementations
Interfacing Java with Haskell
Mark Green and Ali E. Abdallah
An Abstract Machine for Memory Management
Christopher D. Walton
The MT Architecture and Allocation Algorithm
Marco T. Morazan and Douglas R. Troeger
ZG-machine: a Space-Efficient G-machine
Gyun Woo and Taisook Han
PART 4 Applications
A Functional Design Framework for Genetic Algorithms
Fethi A. Rabhi, Guy Lapalme and Albert Y. Zomaya
An Industrial use of FP: A Tool for Generating Test Scripts from
System Specifications
Paul Baker, Clive Jervis and David J. King
PART 5 Theory
List Homomorphisms with Accumulation and Indexing
Walter Dosch and Bernd Wiedemann
Reuse by Program Transformation
Ralf Lmmel
An Abstract Machine for Parallel Lazy Evaluation
Clem Baker-Finch