From: Greg Michaelson
Subject: book: Trends in Functional Programming
Date: 
Message-ID: <8omhf1$asr$1@cantaloupe.srv.cs.cmu.edu>
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