![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/ifl/ifl2012.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.