A Generic Functional Genetic Algorithm
John Hawkings and A. Abdallah
University of Reading
A functional genetic algorithm framework
and its application to the single row routing problem
Fethi A Rabhi, Guy Lapalme, and Albert Y. Zomaya
University of Hull, University of Montreal & University of Western Australia
Extended Strong Typing Genetic Programming Model Using a FP Language
Adrian Ramirez-Cabrera and Arturo Diaz-Perez
CINVESTAV, IPN
Parallel Functional Genetic Algorithms
Greg Michaelson and Paul Bristow
Heriot-Watt University
High-level BSP Programming: BSML and BS-Lambda
Olivier Ballereau, Frederic Loulergue and Gaetan Hains
Universite d'Orleans
On Indexed List Homomorphisms
Walter Dosch and Bernd Wiedemann
Medzinische Universitat zu Lubeck
Extending the equational reasoning assistant ERA with the aim
of supporting the APM methodology.
Richard Reid
Executing Parallel Function + Object Programs with NIP
Paul Watson and Savas Parastatidis
University of Newcastle
A Survey on Functions, Concurrency, Distribution and Mobility
Dilsun Kirli
University of Edinburgh
Runtime Experiments with the Parallel Functional Language Eden
Ulrike Klusik, Rita Loogen and Steffen Priebe
Philips-Universitat Marburg
Bypassing of Channels in Eden
Ulrike Klusik, Ricardo Pena and Clara Segura
Philips-Universitat Marburg, Universidad Complutense de Madrid & UCdM
Evaluation Strategies for Clustering and Locality Control
Kevin Hammond
University of St Andrews
The Design of GdH
Phil Trinder
Heriot-Watt University
Making GUM More Flexible
Hans Wolfgang Loidl
Heriot-Watt University
Type Error Inference
Bruce J. McAdam
University of Edinburgh
Ways for finding source of type errors in SML
Yang Jun
Heriot-Watt University
How to Combine the Benefits of Strict and Soft Typing
Manfred Widera
FernUniversitat Hagen
Fold/unfold completeness and a functional view of L1
Farhad Esfandiari and Peter Burton
Quenn Mary & Westfield College, University of London
Editing higher-order functions
Ralf Laemmel
University of Rostock
Proof Methods for Structured Corecursive Programs
Jeremy Gibbons and Graham Hutton
Oxford Brookes University & University of Nottingham
The Meaning of Eden
Yolanda Ortega Mallén and Mercedes Hidalgo-Herrero
Universidad Complutense de Madrid
Extending the equational reasoning assistant ERA with the aim
of supporting the APM methodology.
Richard Reid
University of Glasgow
Compiling Laziness Using Projection Types
Clem Baker-Finch
University of Canberra
Use of Relational Operators for Algorithm Development
Sharon Curtis
University of Stirling
>From GranSim to Paradise
Felix Hernandez, Ricardo Pena and Fernando Rubio
Universidad Complutense de Madrid
Profiling GPH
Álvaro J Rebón Portillo and Kevin Hammond
University of St Andrews
The MT Architecture and Allocation Algorithm
Marco T. Morazan and Douglas R. Troeger
City University of New York
Interfacing Haskell with Java
Mark Green and A. Abdallah
University of Reading
Making Haskell More Charitable
Laszlo Nemeth
University of Glasgow
Analysis and Optimisation of Active Database Rules
Using Abstract Interpretation and Partial Evaluation
J.Bailey and A.Poulovassilis
Kings College, University of London
Abstract Machines for Memory Management
Chris Walton
University of Edinburgh
Glasgow Haskell Implementation
Simon Marlow
Microsoft Research Labs, Cambridge
A functional View of Computer Graphics
Abdallah and T. Theoharis
University of Reading
Functional Coding of Differential Forms
Jerzy Karczmarczuk
University of Caen
fxp - Processing Structured Documents in SML
Andreas Neumann
University of Trier
An industrial application of functional programming: validation and
Verification of system specifications using SML
Paul Baker, Clive Jervis, and David King
Motorola Research Labs, Basingstoke