Conferences in DBLP

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

1. Kevin Hammond, Greg Michaelson
   Predictable Space Behaviour in FSM-Hume. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:1-16 [Conf]
   
2. Peter Achten, Artem Alimarine, Marinus J. Plasmeijer
   When Generic Functions Use Dynamic Values. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:17-33 [Conf]
   
3. Phil Bagwell
   Fast Functional Lists. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:34-50 [Conf]
   
4. Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers
   Fusion in Practice. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:51-67 [Conf]
   
5. Malcolm Dowse, Glenn Strong, Andrew Butterfield
   Proving Make Correct: I/O Proofs in Haskell and Clean. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:68-83 [Conf]
   
6. Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
   Gast: Generic Automated Software Testing. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:84-100 [Conf]
   
7. Martijn Vervoort, Marinus J. Plasmeijer
   Lazy Dynamic Input/Output in the Lazy Functional Language Clean. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:101-117 [Conf]
   
8. Nils Ellmenreich, Christian Lengauer
   PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:118-133 [Conf]
   
9. Tobias Lindahl, Konstantinos F. Sagonas
   Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. [Citation Graph (0, 0)][DBLP]
   IFL, 2002, pp:134-149 [Conf]
   
10. Baltasar Trancón-y-Widemann
    Stacking Cycles: Functional Transformation of Circular Data. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:150-164 [Conf]
    
11. Olaf Chitil, Colin Runciman, Malcolm Wallace
    Transforming Haskell for Tracing. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:165-181 [Conf]
    
12. Clemens Grelck, Sven-Bodo Scholz
    Axis Control in SAC. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:182-198 [Conf]
    
13. André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder
    Thread Migration in a Parallel Graph Reducer. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:199-214 [Conf]
    
14. Arjen van Weelden, Marinus J. Plasmeijer
    Towards a Strongly Typed Functional Operating System. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:215-231 [Conf]
    
15. Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
    Cost Analysis Using Automatic Size and Time Inference. [Citation Graph (0, 0)][DBLP]
    IFL, 2002, pp:232-248 [Conf]