Trends in Functional Programming: Volume 5

Trends in Functional Programming: Volume 5, 9781841501444 (1841501441), Intellect, 2006

Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling, education, real time and reactive programming, programming methodologies. The volume brings together many leading practitioners and contextualises their contributions through a substantial introduction, appropriate overviews and summaries, and a rich bibliography and index.

The fifth installment of the ‘Trends in Functional Programming’ series was the first one to be organised outside Scotland, the homeland of functional programming that hosted previous installments of TFP and the precursor series, the ‘Scottish Functional Programming Workshops’, going back to 1989. In November 2004, Ludwig-Maximilians University,Munich was the host for TFP04. With the change of venue we had a broad spectrum of submissions both in terms of contents and nationality of the authors: in total 22 papers have been submitted for presentation, and TFP04 itself was attended by 36 participants from 13 countries.

The Symposium on Trends in Functional Programming (TFP) is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research, combinedwith a post-event refereeing process and a formal publication of selected papers as a book. The presentations submitted this year show a wide spectrum of current research within this scope, from theoretical work on foundations of programming languages to practical usage of functional languages in many different domains.

About the Author

Greg Michaelson is a senior lecturer at Heriot-Watt University, Edinburgh. His previous publications in this field number several books and journal articles.

Comments

Amazing Books

Matrix Algorithms, Volume II: Eigensystems

SIAM, 2001

This book, Eigensystems, is the second volume in a projected five-volume series entitled Matrix Algorithms. The first volume treated basic decompositions. The three following this volume will treat iterative methods for linear systems, sparse direct methods, and special topics, including fast algorithms for structured matrices.

My...

Java Foundation Classes in a Nutshell: A Desktop Quick Reference (In a Nutshell (O'Reilly))

O'Reilly, 1999

Java Foundation Classes in a Nutshell is an indispensable quick reference for Java programmers who are writing applications that use graphics or graphical user interfaces. The author of the bestsellingJava in a Nutshell has written fast-paced introductions to the Java APIs that comprise the Java Foundation Classes...

Building the Knowledge Management Network: Best Practices, Tools, and Techniques for Putting Conversation to Work

John Wiley & Sons, 2002

A complete set of best practices, tools, and techniques for turning conversations into a rich source of business information
Many organizations are now recognizing that the untapped knowledge of their members can be used to benefit every aspect of their business, from making smarter and faster decisions to improving products and...

The People CMM: A Framework for Human Capital Management (2nd Edition)

Addison Wesley, 2009

Organizations are now competing in two markets, one for their products and services and one for the talent required to produce or perform them. Success in the former is determined by success in the latter. The ability to compete is directly related to the ability to attract, develop, motivate, organize, and retain the...

AutoCAD 2004: One Step at a Time - Part II

Forager Publications, 2003

With Part II of this resource, you will add Hatching and Section lines to your AutoCAD drawing, create and manipulate Groups, plot a drawing, learn Model and Paper space, reference one drawing to another, and much more.

In Part II, you’ll:

Know how to add Hatching and Section Lines to your AutoCAD drawing

...

COX-2 Blockade in Cancer Prevention and Therapy (Cancer Drug Discovery and Development)

Humana Press, 2003

The revelation that aspirin and aspirin-like compounds have notable antineoplastic properties has revolutionized cancer research. COX-2 Blockade in Cancer Prevention and Therapy chronicles the evidence and presents exciting new opportunities for the use of cyclooxygenase-2 (COX-2) blockade in the prevention and treatment of cancer. The text...