Trends in Functional Programming.

Trends in Functional Programming.

Volume 6. 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 type checking and designing new classes of...

Full description

Saved in:
Bibliographic Details
Main Author: Van Eekelen, Marko
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; Best Student Paper: A New Approach to One-Pass Transformations; A Static Checker for Safe Pattern Matching in Haskell; Software Metrics: Measuring Haskell; Type-Specialized Serialization with Sharing; Logical Relations for Call-by-value Delimited Continuations; Epigram Reloaded: A Standalone Typechecker for ETT; Formalisation of Haskell Refactorings; Systematic Search for Lambda Expressions; First-Class Open and Closed Code Fragments; Comonadic Functional Attribute Evaluation; Generic Generation of the Elements of Data Types.

Similar Items