Trends in Functional Programming.

Trends in Functional Programming.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Nilsson, Henrik
Format: eBook
Language:English
Published: Bristol : Intellect, 2007.
Series:Trends in Functional Programming.
Subjects:
Computer programming.
Functional programming (Computer science)
computer programming.
Computer programming
Online Access:Click for online access
Table of 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.

Similar Items