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/tfp2010.bht:"
download as .bib file
@proceedings{DBLP:conf/sfp/2010,
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22941-1},
doi = {10.1007/978-3-642-22941-1},
isbn = {978-3-642-22940-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AntonT10,
author = {Konrad Anton and
Peter Thiemann},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Typing Coroutines},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {16--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_2},
doi = {10.1007/978-3-642-22941-1\_2},
timestamp = {Mon, 03 Jan 2022 22:29:43 +0100},
biburl = {https://dblp.org/rec/conf/sfp/AntonT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BrownLT10,
author = {Christopher Brown and
Huiqing Li and
Simon J. Thompson},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {An Expression Processor: {A} Case Study in Refactoring Haskell Programs},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {31--49},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_3},
doi = {10.1007/978-3-642-22941-1\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BrownLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CapperN10,
author = {John Capper and
Henrik Nilsson},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Static Balance Checking for First-Class Modular Systems of Equations},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {50--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_4},
doi = {10.1007/978-3-642-22941-1\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/CapperN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ChangHF10,
author = {Stephen Chang and
David Van Horn and
Matthias Felleisen},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Evaluating Call-by-Need on the Control Stack},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {1--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_1},
doi = {10.1007/978-3-642-22941-1\_1},
timestamp = {Sun, 06 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/ChangHF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ClericiZP10,
author = {Silvia Clerici and
Cristina Zoltan and
Guillermo Prestigiacomo},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Graphical and Incremental Type Inference: {A} Graph Transformation
Approach},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {66--83},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_5},
doi = {10.1007/978-3-642-22941-1\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ClericiZP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EastlundF10,
author = {Carl Eastlund and
Matthias Felleisen},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Hygienic Macros for {ACL2}},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {84--101},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_6},
doi = {10.1007/978-3-642-22941-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/EastlundF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FarmerKG10,
author = {Andrew Farmer and
Garrin Kimmell and
Andy Gill},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {What's the Matter with Kansas Lava?},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {102--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_7},
doi = {10.1007/978-3-642-22941-1\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FarmerKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GillBFKK10,
author = {Andy Gill and
Tristan Bull and
Andrew Farmer and
Garrin Kimmell and
Ed Komp},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Types and Type Families for Hardware Simulation and Synthesis - The
Internals and Externals of Kansas Lava},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {118--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_8},
doi = {10.1007/978-3-642-22941-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GillBFKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanP10,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Testing with Functional Reference Implementations},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {134--149},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_9},
doi = {10.1007/978-3-642-22941-1\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MatlageG10,
author = {Kevin Matlage and
Andy Gill},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Every Animation Should Have a Beginning, a Middle, and an End - {A}
Case Study of Using a Functor-Based Animation Language},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {150--165},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_10},
doi = {10.1007/978-3-642-22941-1\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MatlageG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Morazan10,
author = {Marco T. Moraz{\'{a}}n},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Functional Video Games in the {CS1} Classroom},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {166--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_11},
doi = {10.1007/978-3-642-22941-1\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Morazan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PtaszekM10,
author = {Michal Ptaszek and
Maciej Malawski},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {ComputErl - Erlang-Based Framework for Many Task Computing},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {184--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_12},
doi = {10.1007/978-3-642-22941-1\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/PtaszekM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SnyderA10,
author = {Mark Snyder and
Perry Alexander},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Monad Factory: Type-Indexed Monads},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {198--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_13},
doi = {10.1007/978-3-642-22941-1\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SnyderA10.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-13 11:18 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:
