Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/ifl/ifl2007.bht:"
@proceedings{DBLP:conf/ifl/2007, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85373-2}, doi = {10.1007/978-3-540-85373-2}, isbn = {978-3-540-85372-5}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/BrasselS07, author = {Bernd Bra{\ss}el and Holger Siegel}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Debugging Lazy Functional Programs by Asking the Oracle}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {183--200}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_11}, doi = {10.1007/978-3-540-85373-2\_11}, timestamp = {Mon, 03 Jan 2022 22:26:05 +0100}, biburl = {https://dblp.org/rec/conf/ifl/BrasselS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/DijkstraFS07, author = {Atze Dijkstra and Jeroen Fokker and S. Doaitse Swierstra}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {57--74}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_4}, doi = {10.1007/978-3-540-85373-2\_4}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/DijkstraFS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Feeley07, author = {Marc Feeley}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Speculative Inlining of Predefined Procedures in an {R5RS} Scheme to {C} Compiler}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {237--253}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_14}, doi = {10.1007/978-3-540-85373-2\_14}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Feeley07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/FindlerGR07, author = {Robert Bruce Findler and Shu{-}yu Guo and Anne Rogers}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Lazy Contract Checking for Immutable Data Structures}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {111--128}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_7}, doi = {10.1007/978-3-540-85373-2\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/FindlerGR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/HerhutSBGT07, author = {Stephan Herhut and Sven{-}Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {From Contracts Towards Dependent Types: Proofs by Partial Evaluation}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {254--273}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_15}, doi = {10.1007/978-3-540-85373-2\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/HerhutSBGT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Kleeblatt07, author = {Dirk Kleeblatt}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Checking Dependent Types Using Compiled Code}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {165--182}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_10}, doi = {10.1007/978-3-540-85373-2\_10}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Kleeblatt07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/LiT07, author = {Huiqing Li and Simon J. Thompson}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Testing Erlang Refactorings with QuickCheck}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {19--36}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_2}, doi = {10.1007/978-3-540-85373-2\_2}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/LiT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/MazanekM07, author = {Steffen Mazanek and Mark Minas}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Graph Parser Combinators}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {1--18}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_1}, doi = {10.1007/978-3-540-85373-2\_1}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/MazanekM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/MitchellR07, author = {Neil Mitchell and Colin Runciman}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {A Supercompiler for Core Haskell}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {147--164}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_9}, doi = {10.1007/978-3-540-85373-2\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/MitchellR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/MorazanS07, author = {Marco T. Moraz{\'{a}}n and Ulrik Pagh Schultz}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Optimal Lambda Lifting in Quadratic Time}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {37--56}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_3}, doi = {10.1007/978-3-540-85373-2\_3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/MorazanS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/NaylorR07, author = {Matthew Naylor and Colin Runciman}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an {FPGA}}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {129--146}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_8}, doi = {10.1007/978-3-540-85373-2\_8}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/NaylorR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/SulzmannL07, author = {Martin Sulzmann and Kenny Zhuo Ming Lu}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {XHaskell - Adding Regular Expression Types to Haskell}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {75--92}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_5}, doi = {10.1007/978-3-540-85373-2\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/SulzmannL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/VriesPA07, author = {Edsko de Vries and Rinus Plasmeijer and David M. Abrahamson}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Uniqueness Typing Simplified}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {201--218}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_12}, doi = {10.1007/978-3-540-85373-2\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/VriesPA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Wallace07, author = {Malcolm Wallace}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Partial Parsing: Combining Choice with Commitment}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {93--110}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_6}, doi = {10.1007/978-3-540-85373-2\_6}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Wallace07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/WidemannP07, author = {Baltasar Tranc{\'{o}}n y Widemann and David Lorge Parnas}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Tabular Expressions and Total Functional Programming}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {219--236}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_13}, doi = {10.1007/978-3-540-85373-2\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/WidemannP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.