The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Alfredo Cristóbal-Salas, Andrey Chernykh, Edelmira Rodríguez-Alcantar, Jean-Luc Gaudiot
    Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:1-16 [Conf]
  2. Peter Achten
    The Feasibility of Interactively Probing Quiescent Properties of GUI Applications. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:17-34 [Conf]
  3. Sander Evers, Peter Achten, Jan Kuper
    A Functional Programming Technique for Forms in Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:35-51 [Conf]
  4. Olivier Danvy
    A Rational Deconstruction of Landin's SECD Machine. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:52-71 [Conf]
  5. Holger Gast
    Explaining ML Type Errors by Data Flows. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:72-89 [Conf]
  6. Baltasar Trancón-y-Widemann
    V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:90-107 [Conf]
  7. Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach
    A Virtual Machine for Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:108-125 [Conf]
  8. Olaf Chitil
    Source-Based Trace Exploration. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:126-141 [Conf]
  9. Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
    Shrinking Reductions in SML.NET. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:142-159 [Conf]
  10. Ronny Wichers Schreur, Marinus J. Plasmeijer
    Dynamic Construction of Generic Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:160-176 [Conf]
  11. Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen
    Reasoning About Deterministic Concurrent Functional I/O. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:177-194 [Conf]
  12. Alexander V. Shafarenko, Sven-Bodo Scholz
    General Homomorphic Overloading. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:195-210 [Conf]
  13. Ekaterina Stefanov, Anthony M. Sloane
    Simple, Effective Code-Size Reduction for Functional Programs. [Citation Graph (0, 0)][DBLP]
    IFL, 2004, pp:211-225 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002