default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. IFL 2002: Madrid, Spain
- Ricardo Pena, Thomas Arts:
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2670, Springer 2003, ISBN 3-540-40190-3 - Kevin Hammond, Greg Michaelson:
Predictable Space Behaviour in FSM-Hume. 1-16 - Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values. 17-33 - Phil Bagwell:
Fast Functional Lists. 34-50 - Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers:
Fusion in Practice. 51-67 - Malcolm Dowse, Glenn Strong, Andrew Butterfield
:
Proving Make Correct: I/O Proofs in Haskell and Clean. 68-83 - Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing. 84-100 - Martijn Vervoort, Marinus J. Plasmeijer:
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. 101-117 - Nils Ellmenreich, Christian Lengauer:
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. 118-133 - Tobias Lindahl, Konstantinos Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. 134-149 - Baltasar Trancón y Widemann:
Stacking Cycles: Functional Transformation of Circular Data. 150-164 - Olaf Chitil, Colin Runciman, Malcolm Wallace:
Transforming Haskell for Tracing. 165-181 - Clemens Grelck, Sven-Bodo Scholz:
Axis Control in SAC. 182-198 - André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. 199-214 - Arjen van Weelden, Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System. 215-231 - Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos:
Cost Analysis Using Automatic Size and Time Inference. 232-248
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 2025-12-05 22:22 CET 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:
