18. IFL 2006:
Budapest, Hungary
Zoltán Horváth, Viktória Zsók, Andrew Butterfield (Eds.):
Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4449 Springer 2007, ISBN 978-3-540-74129-9 
- Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.
1-18
- Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko:
Index Vector Elimination - Making Index Vectors Affordable.
19-36
- Laura Ruff, Tudor Jebelean:
Functional-Based Synthesis of a Systolic Array for GCD Computation.
37-54
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio:
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
55-72
- Jost Berthold, Rita Loogen:
Parallel Coordination Made Explicit in a Functional Setting.
73-90
- Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
91-107
- Rinus Plasmeijer, Peter Achten:
A Conference Management System Based on the iData Toolkit.
108-125
- Olaf Chitil, Frank Huch:
A Pattern Logic for Prompt Lazy Assertions in Haskell.
126-144
- Edwin Brady:
Ivor, a Proof Engine.
145-162
- Tamás Kozsik:
Proving Program Properties Specified with Subtype Marks.
163-180
- Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Redefined.
181-198
- Jurriaan Hage, Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery.
199-216
- Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser:
Testing Properties of Generic Functions.
217-234
- Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann:
Worst-Case Execution Times for a Purely Functional Language.
235-252
- Jesús Manuel Almendros-Jiménez, Germán Vidal:
Automatic Partial Inversion of Inductively Sequential Functions.
253-270
Last update Mon May 20 15:07:42 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
