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; These 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Stephen Gilmore is a Senior Lecturer in the Laboratory for Foundations of Computer Science at The University of Edinburgh.
"Sobre este título" puede pertenecer a otra edición de este libro.