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]