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/sfp/sfp2001.bht:"
download as .bib file
@proceedings{DBLP:conf/sfp/2001,
editor = {Kevin Hammond and
Sharon Curtis},
title = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
publisher = {Intellect},
year = {2002},
isbn = {1-84150-070-4},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hamilton01,
author = {Geoff W. Hamilton},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Extending Higher-Order Deforestation: Transforming Programs to Eliminate
Even More Trees},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {25--36},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Hamilton01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Loidl01,
author = {Hans{-}Wolfgang Loidl},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Load Balancing in a Parallel Graph Reducer},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {63--74},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Loidl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/McAdam01,
author = {Bruce J. McAdam},
editor = {Kevin Hammond and
Sharon Curtis},
title = {How to Repair Type Errors Automatically},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {87--98},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/McAdam01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Miller01,
author = {Quentin Miller},
editor = {Kevin Hammond and
Sharon Curtis},
title = {{BSP} in a Lazy Functional Context},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {37--50},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Miller01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MorazanTN01,
author = {Marco T. Moraz{\'{a}}n and
Douglas R. Troeger and
Myles Nash},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Paging in a Distributed Virtual Memory},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {75--86},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/MorazanTN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PenaRS01,
author = {Ricardo Pena and
Fernando Rubio and
Clara Segura},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Deriving Non-Hierarchical Process Topologies},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {51--62},
publisher = {Intellect},
year = {2001},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/PenaRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RussellSR01,
author = {Dan Russell and
Dominic Steinitz and
Chris Reade},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Haskell: Language for Business Systems},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {1--12},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/RussellSR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Stoughton01,
author = {Allen Stoughton},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Infinite Pretty-printing in eXene},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {13--24},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Stoughton01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/UustaluV01,
author = {Tarmo Uustalu and
Varmo Vene},
editor = {Kevin Hammond and
Sharon Curtis},
title = {The Dual of Substitution is Redecoration},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {99--110},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/UustaluV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WideraB01,
author = {Manfred Widera and
Christoph Beierle},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Function Types in Complete Type Inference},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {111--122},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/WideraB01.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-06-08 10:06 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:
