1 option
Trends in functional programming. Volume 7 / edited by Hans-Wolfgang Loidl.
- Format:
- Book
- Series:
- Trends in Functional Programming
- Trends in functional programming ; 7
- Language:
- English
- Subjects (All):
- Functional programming (Computer science)--Congresses.
- Functional programming (Computer science).
- Computer programming.
- Physical Description:
- 1 online resource (244 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Bristol ; Portland, Ore. : Intellect, 2007.
- Language Note:
- English
- Summary:
- 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
- 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
- Notes:
- Description based upon print version of record.
- Includes bibliographical references.
- ISBN:
- 9786611187460
- 9781281187468
- 1281187461
- 9781841509938
- 1841509930
- OCLC:
- 476124844
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.