Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 ; revised selected papers /
Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 ; revised selected papers /
IFL 2005
Andrew Butterfield, Clemens Grelck, Frank Huch (eds.).
- Berlin : Springer, 2006.
- 1 online resource (vi, 230 pages) : illustrations
- Lecture notes in computer science, 4015 0302-9743 ; .
- Lecture notes in computer science ; 4015. .
International conference proceedings.
Includes bibliographical references and index.
Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational Deconstruction of Landin's J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution Costs -- Accurate Step Counting -- The Implementation of iData -- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell -- Polytypic Syntax Tree Operations -- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences -- With-Loop Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding Scope Analysis for Generic Programs on Arrays.
Available to OhioLINK libraries.
9783540691754 3540691758 354069174X 9783540691747
10.1007/11964681 doi
978-3-540-69174-7 Springer http://www.springerlink.com
2006938912
Functional programming languages--Congresses.
Langages de programmation fonctionnels--Congrès.
Informatique.
Functional programming languages.
programmeren programming computerwetenschappen computer sciences programmeertalen programming languages Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA76.62 / .I55 2005eb
005.13
International conference proceedings.
Includes bibliographical references and index.
Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational Deconstruction of Landin's J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution Costs -- Accurate Step Counting -- The Implementation of iData -- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell -- Polytypic Syntax Tree Operations -- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences -- With-Loop Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding Scope Analysis for Generic Programs on Arrays.
Available to OhioLINK libraries.
9783540691754 3540691758 354069174X 9783540691747
10.1007/11964681 doi
978-3-540-69174-7 Springer http://www.springerlink.com
2006938912
Functional programming languages--Congresses.
Langages de programmation fonctionnels--Congrès.
Informatique.
Functional programming languages.
programmeren programming computerwetenschappen computer sciences programmeertalen programming languages Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA76.62 / .I55 2005eb
005.13