default search action

combined dblp search
author search
venue search
publication search

ask others

18. IFL 2006: Budapest, Hungary

> Home > Conferences and Workshops > IFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ifl/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2006
Zoltán Horváth, Viktória Zsók, Andrew Butterfield:
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/TrojahnerGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/TrojahnerGS06
Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BerneckyHSTGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BerneckyHSTGS06
Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko:
Index Vector Elimination - Making Index Vectors Affordable. 19-36
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/RuffJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/RuffJ06
Laura Ruff, Tudor Jebelean:
Functional-Based Synthesis of a Systolic Array for GCD Computation. 37-54
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Hidalgo-HerreroOR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Hidalgo-HerreroOR06
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio:
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. 55-72
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BertholdL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BertholdL06
Jost Berthold, Rita Loogen:
Parallel Coordination Made Explicit in a Functional Setting. 73-90
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HammondGMI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HammondGMI06
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. 91-107
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PlasmeijerA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PlasmeijerA06
Rinus Plasmeijer, Peter Achten:
A Conference Management System Based on the iData Toolkit. 108-125
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ChitilH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ChitilH06
Olaf Chitil, Frank Huch:
A Pattern Logic for Prompt Lazy Assertions in Haskell. 126-144
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Brady06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Brady06
Edwin C. Brady:
Ivor, a Proof Engine. 145-162
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Kozsik06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Kozsik06
Tamás Kozsik:
Proving Program Properties Specified with Subtype Marks. 163-180
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VriesPA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VriesPA06
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Redefined. 181-198
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HageH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HageH06
Jurriaan Hage, Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery. 199-216
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/JanssonJCEKMOV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/JanssonJCEKMOV06
Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser:
Testing Properties of Generic Functions. 217-234
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BonenfantFHH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BonenfantFHH06
Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann:
Worst-Case Execution Times for a Purely Functional Language. 235-252
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Almendros-JimenezV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Almendros-JimenezV06
Jesús Manuel Almendros-Jiménez, Germán Vidal:
Automatic Partial Inversion of Inductively Sequential Functions. 253-270

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.