Trends in Functional Programming 6.
Title:
Trends in Functional Programming 6.
Author:
Van Eekelen, Marko.
ISBN:
9781841509907
Personal Author:
Edition:
1st ed.
Physical Description:
1 online resource (240 pages)
Series:
Trends in Functional Programming Series
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 Labels -- Project Start Paper: The Embounded Project -- Project Evaluation Paper: Mobile Resource Guarantees -- Back Cover.
Abstract:
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 techniques such as metrics and refactoring for high-level programming languages;. - generation techniques for data type elements as well as for lambda expressions;. - analysis techniques for resource consumption with the use of high-level programming languages for embedded systems;. - widening and strengthening of the theoretical foundations. The TFP community (www.tifp.org) is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research.
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