The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002