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 BibTeX

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