default search action

combined dblp search
author search
venue search
publication search

ask others

14. IFL 2002: Madrid, Spain

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/2002
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
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/HammondM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/HammondM02
Kevin Hammond, Greg Michaelson:
Predictable Space Behaviour in FSM-Hume. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/AchtenAP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/AchtenAP02
Peter Achten, Artem Alimarine, Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values. 17-33
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Bagwell02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Bagwell02
Phil Bagwell:
Fast Functional Lists. 34-50
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ArkelGS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ArkelGS02
Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers:
Fusion in Practice. 51-67
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/DowseSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/DowseSB02
Malcolm Dowse, Glenn Strong, Andrew Butterfield:
Proving Make Correct: I/O Proofs in Haskell and Clean. 68-83
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KoopmanATP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KoopmanATP02
Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing. 84-100
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/VervoortP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/VervoortP02
Martijn Vervoort, Marinus J. Plasmeijer:
Lazy Dynamic Input/Output in the Lazy Functional Language Clean. 101-117
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/EllmenreichL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/EllmenreichL02
Nils Ellmenreich, Christian Lengauer:
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/LindahlS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/LindahlS02
Tobias Lindahl, Konstantinos Sagonas:
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment. 134-149
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Trancon-y-Widemann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Trancon-y-Widemann02
Baltasar Trancón y Widemann:
Stacking Cycles: Functional Transformation of Circular Data. 150-164
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/ChitilRW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/ChitilRW02
Olaf Chitil, Colin Runciman, Malcolm Wallace:
Transforming Haskell for Tracing. 165-181
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/GrelckS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/GrelckS02
Clemens Grelck, Sven-Bodo Scholz:
Axis Control in SAC. 182-198
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BoisLT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BoisLT02
André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. 199-214
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WeeldenP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WeeldenP02
Arjen van Weelden, Marinus J. Plasmeijer:
Towards a Strongly Typed Functional Operating System. 215-231
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/PortilloHLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/PortilloHLV02
Á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.