Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/ifl/2005,
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11964681},
  doi       = {10.1007/11964681},
  isbn      = {3-540-69174-X},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/2005.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BradyH05,
  author    = {Edwin C. Brady and
               Kevin Hammond},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A Dependently Typed Framework for Static Analysis of Program Execution
               Costs},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {74--90},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_5},
  doi       = {10.1007/11964681\_5},
  timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/BradyH05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/CunhaPP05,
  author    = {Alcino Cunha and
               Jorge Sousa Pinto and
               Jos{\'{e}} Proen{\c{c}}a},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A Framework for Point-Free Program Transformation},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {1--18},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_1},
  doi       = {10.1007/11964681\_1},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/CunhaPP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DanvyM05,
  author    = {Olivier Danvy and
               Kevin Millikin},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A Rational Deconstruction of Landin's {J} Operator},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {55--73},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_4},
  doi       = {10.1007/11964681\_4},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/DanvyM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/EekelenM05,
  author    = {Marko C. J. D. van Eekelen and
               Maarten de Mol},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Proof Tool Support for Explicit Strictness},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {37--54},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_3},
  doi       = {10.1007/11964681\_3},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/EekelenM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/GrelckHS05,
  author    = {Clemens Grelck and
               Karsten Hinckfu{\ss} and
               Sven{-}Bodo Scholz},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {With-Loop Fusion for Data Locality and Parallelism},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {178--195},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_11},
  doi       = {10.1007/11964681\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ifl/GrelckHS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/GrelckSS05,
  author    = {Clemens Grelck and
               Sven{-}Bodo Scholz and
               Alexander V. Shafarenko},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A Binding Scope Analysis for Generic Programs on Arrays},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {212--230},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_13},
  doi       = {10.1007/11964681\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ifl/GrelckSS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Hanna05,
  author    = {Keith Hanna},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A Document-Centered Environment for Haskell},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {196--211},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_12},
  doi       = {10.1007/11964681\_12},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/Hanna05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HopeH05,
  author    = {Catherine Hope and
               Graham Hutton},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Accurate Step Counting},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {91--105},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_6},
  doi       = {10.1007/11964681\_6},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/HopeH05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HuchK05,
  author    = {Frank Huch and
               Frank Kupke},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {A High-Level Implementation of Composable Memory Transactions in Concurrent
               Haskell},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {124--141},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_8},
  doi       = {10.1007/11964681\_8},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/HuchK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Mackie05,
  author    = {Ian Mackie},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Encoding Strategies in the Lambda Calculus with Interaction Nets},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {19--36},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_2},
  doi       = {10.1007/11964681\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/Mackie05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/PlasmeijerA05,
  author    = {Rinus Plasmeijer and
               Peter Achten},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {The Implementation of iData},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {106--123},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_7},
  doi       = {10.1007/11964681\_7},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/PlasmeijerA05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ShafarenkoSHGT05,
  author    = {Alexander V. Shafarenko and
               Sven{-}Bodo Scholz and
               Stephan Herhut and
               Clemens Grelck and
               Kai Trojahner},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Implementing a Numerical Solution of the {KPI} Equation Using Single
               Assignment {C:} Lessons and Experiences},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {160--177},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_10},
  doi       = {10.1007/11964681\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ifl/ShafarenkoSHGT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WeeldenSP05,
  author    = {Arjen van Weelden and
               Sjaak Smetsers and
               Rinus Plasmeijer},
  editor    = {Andrew Butterfield and
               Clemens Grelck and
               Frank Huch},
  title     = {Polytypic Syntax Tree Operations},
  booktitle = {Implementation and Application of Functional Languages, 17th International
               Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4015},
  pages     = {142--159},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11964681\_9},
  doi       = {10.1007/11964681\_9},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifl/WeeldenSP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics