default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17. IFL 2005: Dublin, Ireland
- Andrew Butterfield
, Clemens Grelck, Frank Huch:
Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4015, Springer 2006, ISBN 3-540-69174-X - Alcino Cunha, Jorge Sousa Pinto, José Proença:
A Framework for Point-Free Program Transformation. 1-18 - Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets. 19-36 - Marko C. J. D. van Eekelen, Maarten de Mol:
Proof Tool Support for Explicit Strictness. 37-54 - Olivier Danvy, Kevin Millikin:
A Rational Deconstruction of Landin's J Operator. 55-73 - Edwin C. Brady, Kevin Hammond:
A Dependently Typed Framework for Static Analysis of Program Execution Costs. 74-90 - Catherine Hope, Graham Hutton:
Accurate Step Counting. 91-105 - Rinus Plasmeijer, Peter Achten:
The Implementation of iData. 106-123 - Frank Huch, Frank Kupke:
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. 124-141 - Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer:
Polytypic Syntax Tree Operations. 142-159 - Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner:
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. 160-177 - Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz:
With-Loop Fusion for Data Locality and Parallelism. 178-195 - Keith Hanna:
A Document-Centered Environment for Haskell. 196-211 - Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko:
A Binding Scope Analysis for Generic Programs on Arrays. 212-230
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 09:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
