Trends in functional programming

Trends in functional programming

by Eekelen, M. C. J. D. van

Type Book
Rate 0.0 /5

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 data types. Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a pro…

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Trends in functional programming. / edited by Marko van Eekelen.

Summary

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 data types. Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a project) papers are represented. Particular trends in this volume are:. - software engineering technique.

Read More ↓

Edition Statements

  • Publication Date:2007.

Publication Statements

  • Publisher(s):Intellect
  • Place of Publication:Bristol
  • Language:eng
  • Publication Date:2007.

The Physical Object

  • Description:1 online resource (x, 226 pages) : : illustrations.

Edition Identifiers

  • ISBN:1841509906, 9781841509907, 184150176X, 9781841501765
  • oclc:ocn647686203
  • LC Classification:QA76.62
  • Dewey Decimal:005.114

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

Extensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back Cover

Read More ↓

Subjects

COMPUTER PROGRAMMING COMPUTERS -- Programming COMPUTERS -- Software Development & Eng… Conference papers and proceedings Functional programming (Computer scienc… Functional programming (Computer scienc… Programmation fonctionnelle -- Congrès Programmation informatique

Writers

Eekelen, M. C. J. D. van

More from this Series

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.