Trends in Functional Programming 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 resource-bounded functional programming

. connections between static analysis methods and functional programming

. implementation of mobile code functional languages

. automated testing of application programs and system models