default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. IFL 2006: Budapest, Hungary
- 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 - 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 C. 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
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.
last updated on 2024-09-26 00:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
