![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
18. 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.