Conferences in DBLP

Implementation of Functional Languages (IFL) (ifl)
2005 (conf/ifl/2005)

1. Alcino Cunha, Jorge Sousa Pinto, José Proença
   A Framework for Point-Free Program Transformation. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:1-18 [Conf]
   
2. Ian Mackie
   Encoding Strategies in the Lambda Calculus with Interaction Nets. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:19-36 [Conf]
   
3. Marko C. J. D. van Eekelen, Maarten de Mol
   Proof Tool Support for Explicit Strictness. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:37-54 [Conf]
   
4. Olivier Danvy, Kevin Millikin
   A Rational Deconstruction of Landin's J Operator. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:55-73 [Conf]
   
5. Edwin Brady, Kevin Hammond
   A Dependently Typed Framework for Static Analysis of Program Execution Costs. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:74-90 [Conf]
   
6. Catherine Hope, Graham Hutton
   Accurate Step Counting. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:91-105 [Conf]
   
7. Rinus Plasmeijer, Peter Achten
   The Implementation of iData. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:106-123 [Conf]
   
8. Frank Huch, Frank Kupke
   A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:124-141 [Conf]
   
9. Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
   Polytypic Syntax Tree Operations. [Citation Graph (0, 0)][DBLP]
   IFL, 2005, pp:142-159 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:160-177 [Conf]
    
11. Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
    With-Loop Fusion for Data Locality and Parallelism. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:178-195 [Conf]
    
12. Keith Hanna
    A Document-Centered Environment for Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:196-211 [Conf]
    
13. Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
    A Binding Scope Analysis for Generic Programs on Arrays. [Citation Graph (0, 0)][DBLP]
    IFL, 2005, pp:212-230 [Conf]