Trends in Functional Programming 7.
Title:
Trends in Functional Programming 7.
Author:
Nilsson, Henrik.
ISBN:
9781841509938
Personal Author:
Edition:
1st ed.
Physical Description:
1 online resource (244 pages)
Series:
Trends in Functional Programming Series
Contents:
Front Cover -- Preliminary Pages -- Contents -- Preface -- Proving Termination Using Dependent Types: The Case of Xor-Terms -- Proving the Correctness of Algorithmic Debugging for Functional Programs -- Systematic Synthesis of Functions -- A Purely Functional Implementation of ROBDDs in Haskell -- Efficient Interpretation by Transforming Data Types and Patterns to Functions -- Object-Oriented Programming in Dependent Type Theory -- A Sharing Analysis for SAFE -- Memory Usage Improvement Using Runtime Alias Detection -- A Model of Functional Programming with Dynamic Compilation and Optimization -- Functional Concepts in C++ -- Resource-Based Web Applications -- Extensible and Modular Generics for the Masses -- When is an Abstract Data Type a Functor? -- Back Cover.
Abstract:
This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Genre:
Electronic Access:
Click to View