Presents the research results in the implementation of functional programming languages and the practice of functional programming. This title contains a selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Pro...Loe edasi...
This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to t...Loe edasi...
These proceedings date from the November 2004 workshop held in Munich, and include tropics ranging from theory to formal aspects of functional programming, graphics, visual programming, distributed computing and computer design. Specific papers cover...Loe edasi...
Presents some of the research results in the implementation of functional programming languages and the practice of functional programming. This volume contains the peer-reviewed selection of the best articles presented at TFP 2007, the Eighth Sympos...Loe edasi...
These proceedings from the September 2003 Fourth International Symposium on Trends in Functional Programming, held in Edinburgh, UK, address the research problems at the forefront of the practical application of functional programming languages. Pape...Loe edasi...
Papers from the 3rd Scottish Functional Programming Workshop, held in August 2001 in Stirling, Scotland, cover issues related to applications, compiler optimizations, parallelism, and type theory, as well as language design, proof and transformation,...Loe edasi...
This collection of 17 papers drawn from an August 1999 workshop held in Scotland presents advances in parallel functional programming, type systems, architectures and implementation, language applications, and theory. Topics include BSP-based cost a...Loe edasi...
Fourteen papers from the 1999 Stirling Workshop highlight major research goals and engineering concerns in the field. These include: making profitable use of modern parallel architectures, designing and defining modern type systems, performance comp...Loe edasi...
