Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/ifl/2012,
  editor       = {Ralf Hinze},
  title        = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41582-1},
  doi          = {10.1007/978-3-642-41582-1},
  isbn         = {978-3-642-41581-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Clerc12,
  author       = {Xavier Clerc},
  editor       = {Ralf Hinze},
  title        = {OCaml-Java: From OCaml Sources to Java Bytecodes},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_5},
  doi          = {10.1007/978-3-642-41582-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Clerc12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/DieterleHBL12,
  author       = {Mischa Dieterle and
                  Thomas Horstmeyer and
                  Jost Berthold and
                  Rita Loogen},
  editor       = {Ralf Hinze},
  title        = {Iterating Skeletons - Structured Parallelism by Composition},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {18--36},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_2},
  doi          = {10.1007/978-3-642-41582-1\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/DieterleHBL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/DijkstraSVS12,
  author       = {Atze Dijkstra and
                  Jurri{\"{e}}n Stutterheim and
                  Alessandro Vermeulen and
                  S. Doaitse Swierstra},
  editor       = {Ralf Hinze},
  title        = {Building JavaScript Applications with Haskell},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {37--52},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_3},
  doi          = {10.1007/978-3-642-41582-1\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/DijkstraSVS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Fluet12,
  author       = {Matthew Fluet},
  editor       = {Ralf Hinze},
  title        = {A Type- and Control-Flow Analysis for System {F}},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {122--139},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_8},
  doi          = {10.1007/978-3-642-41582-1\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Fluet12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/IonescuJ12,
  author       = {Cezar Ionescu and
                  Patrik Jansson},
  editor       = {Ralf Hinze},
  title        = {Dependently-Typed Programming in Scientific Computing - Examples from
                  Economic Modelling},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {140--156},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_9},
  doi          = {10.1007/978-3-642-41582-1\_9},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/IonescuJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/Magalhaes12,
  author       = {Jos{\'{e}} Pedro Magalh{\~{a}}es},
  editor       = {Ralf Hinze},
  title        = {Optimisation of Generic Programs Through Inlining},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {104--121},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_7},
  doi          = {10.1007/978-3-642-41582-1\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/Magalhaes12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/OrchardM12,
  author       = {Dominic A. Orchard and
                  Alan Mycroft},
  editor       = {Ralf Hinze},
  title        = {A Notation for Comonads},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_1},
  doi          = {10.1007/978-3-642-41582-1\_1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/OrchardM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/ReichNR12,
  author       = {Jason S. Reich and
                  Matthew Naylor and
                  Colin Runciman},
  editor       = {Ralf Hinze},
  title        = {Advances in Lazy SmallCheck},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {53--70},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_4},
  doi          = {10.1007/978-3-642-41582-1\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/ReichNR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/SculthorpeFG12,
  author       = {Neil Sculthorpe and
                  Andrew Farmer and
                  Andy Gill},
  editor       = {Ralf Hinze},
  title        = {The {HERMIT} in the Tree - Mechanizing Program Transformations in
                  the {GHC} Core Language},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {86--103},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_6},
  doi          = {10.1007/978-3-642-41582-1\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/SculthorpeFG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/SeningtonD12,
  author       = {Richard Senington and
                  David Duke},
  editor       = {Ralf Hinze},
  title        = {Decomposing Metaheuristic Operations},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_14},
  doi          = {10.1007/978-3-642-41582-1\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/SeningtonD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/ThiemannC12,
  author       = {Peter Thiemann and
                  Manuel M. T. Chakravarty},
  editor       = {Ralf Hinze},
  title        = {Agda Meets Accelerate},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {174--189},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_11},
  doi          = {10.1007/978-3-642-41582-1\_11},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/ThiemannC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/TsushimaA12,
  author       = {Kanae Tsushima and
                  Kenichi Asai},
  editor       = {Ralf Hinze},
  title        = {An Embedded Type Debugger},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {190--206},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_12},
  doi          = {10.1007/978-3-642-41582-1\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/TsushimaA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/WaltS12,
  author       = {Paul van der Walt and
                  Wouter Swierstra},
  editor       = {Ralf Hinze},
  title        = {Engineering Proof by Reflection in Agda},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {157--173},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_10},
  doi          = {10.1007/978-3-642-41582-1\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/WaltS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifl/WuMBS12,
  author       = {Nicolas Wu and
                  Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Jeroen Bransen and
                  Wouter Swierstra},
  editor       = {Ralf Hinze},
  title        = {Pure and Lazy Lambda Mining - An Experience Report},
  booktitle    = {Implementation and Application of Functional Languages - 24th International
                  Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8241},
  pages        = {207--223},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-41582-1\_13},
  doi          = {10.1007/978-3-642-41582-1\_13},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/WuMBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.