TY  - BOOK
AU  - Butterfield,A.
AU  - Grelck,Clemens
AU  - Huch,Frank
ED  - International Workshop on Implementation and Application of Functional Languages
TI  - Implementation and application of functional languages: 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 ; revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783540691754
AV  - QA76.62 .I55 2005eb
U1  - 005.13 22
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Functional programming languages
KW  - Congresses
KW  - Langages de programmation fonctionnels
KW  - Congrès
KW  - Informatique
KW  - eclas
KW  - fast
KW  - programmeren
KW  - programming
KW  - computerwetenschappen
KW  - computer sciences
KW  - programmeertalen
KW  - programming languages
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - 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
UR  - https://link.springer.com/10.1007/11964681
ER  -