Search dblp for Publications

export results for "toc:db/conf/ifl/ifl2002.bht:"

 download as .bib file

@proceedings{DBLP:conf/ifl/2002,
  editor    = {Ricardo Pena and
               Thomas Arts},
  title     = {Implementation of Functional Languages, 14th International Workshop,
               {IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  publisher = {Springer},
  year      = {2003}
}
@inproceedings{DBLP:conf/ifl/AchtenAP02,
  author    = {Peter Achten and
               Artem Alimarine and
               Marinus J. Plasmeijer},
  title     = {When Generic Functions Use Dynamic Values},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {17--33},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/ArkelGS02,
  author    = {Diederik van Arkel and
               John H. G. van Groningen and
               Sjaak Smetsers},
  title     = {Fusion in Practice},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {51--67},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/Bagwell02,
  author    = {Phil Bagwell},
  title     = {Fast Functional Lists},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {34--50},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/BoisLT02,
  author    = {Andr{\'{e}} Rauber Du Bois and
               Hans{-}Wolfgang Loidl and
               Philip W. Trinder},
  title     = {Thread Migration in a Parallel Graph Reducer},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {199--214},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/ChitilRW02,
  author    = {Olaf Chitil and
               Colin Runciman and
               Malcolm Wallace},
  title     = {Transforming Haskell for Tracing},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {165--181},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/DowseSB02,
  author    = {Malcolm Dowse and
               Glenn Strong and
               Andrew Butterfield},
  title     = {Proving Make Correct: {I/O} Proofs in Haskell and Clean},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {68--83},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/EllmenreichL02,
  author    = {Nils Ellmenreich and
               Christian Lengauer},
  title     = {PolyAPM: Parallel Programming via Stepwise Refinement with Abstract
               Parallel Machines},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {118--133},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/GrelckS02,
  author    = {Clemens Grelck and
               Sven{-}Bodo Scholz},
  title     = {Axis Control in {SAC}},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {182--198},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/HammondM02,
  author    = {Kevin Hammond and
               Greg Michaelson},
  title     = {Predictable Space Behaviour in FSM-Hume},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {1--16},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/KoopmanATP02,
  author    = {Pieter W. M. Koopman and
               Artem Alimarine and
               Jan Tretmans and
               Marinus J. Plasmeijer},
  title     = {Gast: Generic Automated Software Testing},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {84--100},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/LindahlS02,
  author    = {Tobias Lindahl and
               Konstantinos Sagonas},
  title     = {Unboxed Compilation of Floating Point Arithmetic in a Dynamically
               Typed Language Environment},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {134--149},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/PortilloHLV02,
  author    = {{\'{A}}lvaro J. Reb{\'{o}}n Portillo and
               Kevin Hammond and
               Hans{-}Wolfgang Loidl and
               Pedro B. Vasconcelos},
  title     = {Cost Analysis Using Automatic Size and Time Inference},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {232--248},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/Trancon-y-Widemann02,
  author    = {Baltasar Tranc{\'{o}}n y Widemann},
  title     = {Stacking Cycles: Functional Transformation of Circular Data},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {150--164},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/VervoortP02,
  author    = {Martijn Vervoort and
               Marinus J. Plasmeijer},
  title     = {Lazy Dynamic Input/Output in the Lazy Functional Language Clean},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {101--117},
  publisher = {Springer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifl/WeeldenP02,
  author    = {Arjen van Weelden and
               Marinus J. Plasmeijer},
  title     = {Towards a Strongly Typed Functional Operating System},
  booktitle = {{IFL}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2670},
  pages     = {215--231},
  publisher = {Springer},
  year      = {2002}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics