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/flops/flops2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/flops/Avery06,
author = {James Avery},
editor = {Masami Hagiya and
Philip Wadler},
title = {Size-Change Termination and Bound Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {192--207},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_14},
doi = {10.1007/11737414\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Avery06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BartheFPR06,
author = {Gilles Barthe and
Julien Forest and
David Pichardie and
Vlad Rusu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Defining and Reasoning About Recursive Functions: {A} Practical Tool
for the Coq Proof Assistant},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {114--129},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_9},
doi = {10.1007/11737414\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BartheFPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CasasCH06,
author = {Amadeo Casas and
Daniel Cabeza and
Manuel V. Hermenegildo},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Syntactic Approach to Combining Functional Notation, Lazy Evaluation,
and Higher-Order in {LP} Systems},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {146--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_11},
doi = {10.1007/11737414\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CasasCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DijkstraS06,
author = {Atze Dijkstra and
S. Doaitse Swierstra},
editor = {Masami Hagiya and
Philip Wadler},
title = {Ruler: Programming Type Rules},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {30--46},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_4},
doi = {10.1007/11737414\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DijkstraS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/DiscoloHMJS06,
author = {Anthony Discolo and
Tim Harris and
Simon Marlow and
Simon L. Peyton Jones and
Satnam Singh},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lock Free Data Structures Using {STM} in Haskell},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {65--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_6},
doi = {10.1007/11737414\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/DiscoloHMJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/FindlerB06,
author = {Robert Bruce Findler and
Matthias Blume},
editor = {Masami Hagiya and
Philip Wadler},
title = {Contracts as Pairs of Projections},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {226--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_16},
doi = {10.1007/11737414\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/FindlerB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GregoireTW06,
author = {Benjamin Gr{\'{e}}goire and
Laurent Th{\'{e}}ry and
Benjamin Werner},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Computational Approach to Pocklington Certificates in Type Theory},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {97--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_8},
doi = {10.1007/11737414\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/GregoireTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeJL06,
author = {Ralf Hinze and
Johan Jeuring and
Andres L{\"{o}}h},
editor = {Masami Hagiya and
Philip Wadler},
title = {Typed Contracts for Functional Programming},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {208--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_15},
doi = {10.1007/11737414\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HinzeJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeLO06,
author = {Ralf Hinze and
Andres L{\"{o}}h and
Bruno C. d. S. Oliveira},
editor = {Masami Hagiya and
Philip Wadler},
title = {"Scrap Your Boilerplate" Reloaded},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {13--29},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_3},
doi = {10.1007/11737414\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HinzeLO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IgnatoffCK06,
author = {Daniel Ignatoff and
Gregory H. Cooper and
Shriram Krishnamurthi},
editor = {Masami Hagiya and
Philip Wadler},
title = {Crossing State Lines: Adapting Object-Oriented Frameworks to Functional
Reactive Languages},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {259--276},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_18},
doi = {10.1007/11737414\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/IgnatoffCK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lazy Set-Sharing Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {177--191},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_13},
doi = {10.1007/11737414\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MarionP06,
author = {Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Masami Hagiya and
Philip Wadler},
title = {Resource Analysis by Sup-interpretation},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {163--176},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_12},
doi = {10.1007/11737414\_12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/MarionP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PimlottK06,
author = {Andrew Pimlott and
Oleg Kiselyov},
editor = {Masami Hagiya and
Philip Wadler},
title = {Soutei, a Logic-Based Trust-Management System},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {130--145},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_10},
doi = {10.1007/11737414\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PimlottK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/PlasmeijerA06,
author = {Rinus Plasmeijer and
Peter Achten},
editor = {Masami Hagiya and
Philip Wadler},
title = {iData for the World Wide Web - Programming Interconnected Web Forms},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {242--258},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_17},
doi = {10.1007/11737414\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/PlasmeijerA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Roy06,
author = {Peter Van Roy},
editor = {Masami Hagiya and
Philip Wadler},
title = {Convergence in Language Design: {A} Case of Lightning Striking Four
Times in the Same Place},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {2--12},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_2},
doi = {10.1007/11737414\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Roy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Steele06,
author = {Guy L. Steele Jr.},
editor = {Masami Hagiya and
Philip Wadler},
title = {Parallel Programming and Parallel Abstractions in Fortress},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_1},
doi = {10.1007/11737414\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Steele06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SulzmannWS06,
author = {Martin Sulzmann and
Jeremy Wazny and
Peter J. Stuckey},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Framework for Extended Algebraic Data Types},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {47--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_5},
doi = {10.1007/11737414\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/SulzmannWS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Thiemann06,
author = {Peter Thiemann},
editor = {Masami Hagiya and
Philip Wadler},
title = {{WASH} Server Pages},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {277--293},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_19},
doi = {10.1007/11737414\_19},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/Thiemann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Tozawa06,
author = {Akihiko Tozawa},
editor = {Masami Hagiya and
Philip Wadler},
title = {{XML} Type Checking Using High-Level Tree Transducer},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {81--96},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_7},
doi = {10.1007/11737414\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/Tozawa06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2006,
editor = {Masami Hagiya and
Philip Wadler},
title = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414},
doi = {10.1007/11737414},
isbn = {3-540-33438-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2006.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-04-25 14:38 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:
