Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifl/ifl2007.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-14 12:00 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
