Trends in Functional Programming Volume 4

This book collects the latest research developments in the use of functional programming languages. The contents highlight major research goals and engineering concerns in the subject including:real-time and research-bounded functional programmingconnections between static analysis methods and functional programmingimplementation of mobile code functional languagesautomated testing of application programs and system modelsThese research contributions are drawn from the international symposium on Trends in Functional Programming.This meeting provides a vital forum for the dissemination of the latest technical advances in the field.