The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
    On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:1-18 [Conf]
  2. Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko
    Index Vector Elimination - Making Index Vectors Affordable. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:19-36 [Conf]
  3. Laura Ruff, Tudor Jebelean
    Functional-Based Synthesis of a Systolic Array for GCD Computation. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:37-54 [Conf]
  4. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:55-72 [Conf]
  5. Jost Berthold, Rita Loogen
    Parallel Coordination Made Explicit in a Functional Setting. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:73-90 [Conf]
  6. Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
    Low-Level Programming in Hume: An Exploration of the HW-Hume Level. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:91-107 [Conf]
  7. Rinus Plasmeijer, Peter Achten
    A Conference Management System Based on the iData Toolkit. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:108-125 [Conf]
  8. Olaf Chitil, Frank Huch
    A Pattern Logic for Prompt Lazy Assertions in Haskell. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:126-144 [Conf]
  9. Edwin Brady
    Ivor, a Proof Engine. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:145-162 [Conf]
  10. Tamás Kozsik
    Proving Program Properties Specified with Subtype Marks. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:163-180 [Conf]
  11. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Uniqueness Typing Redefined. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:181-198 [Conf]
  12. Jurriaan Hage, Bastiaan Heeren
    Heuristics for Type Error Discovery and Recovery. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:199-216 [Conf]
  13. Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
    Testing Properties of Generic Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:217-234 [Conf]
  14. Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Worst-Case Execution Times for a Purely Functional Language. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:235-252 [Conf]
  15. Jesús Manuel Almendros-Jiménez, Germán Vidal
    Automatic Partial Inversion of Inductively Sequential Functions. [Citation Graph (0, 0)][DBLP]
    IFL, 2006, pp:253-270 [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