Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/sfp:"
download as .bib file
@inproceedings{DBLP:conf/sfp/DAlvesDGA23,
author = {Curtis D'Alves and
Lucas Dutton and
Steven Gonder and
Christopher Kumar Anand},
editor = {Stephen Chang},
title = {Alternative Methods for Retaining Explicit and Finding Implicit Sharing
in Embedded DSLs},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {92--105},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_6},
doi = {10.1007/978-3-031-38938-2\_6},
timestamp = {Wed, 06 Sep 2023 16:42:50 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DAlvesDGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HemannF23,
author = {Jason Hemann and
Daniel P. Friedman},
editor = {Stephen Chang},
title = {Nearly Macro-free microKanren},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {72--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_5},
doi = {10.1007/978-3-031-38938-2\_5},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HemannF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KumarE23,
author = {Prashant Kumar and
Martin Erwig},
editor = {Stephen Chang},
title = {MatchMaker: {A} {DSL} for Game-Theoretic Matching},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {51--71},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_4},
doi = {10.1007/978-3-031-38938-2\_4},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KumarE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MarmadukeDS23,
author = {Andrew Marmaduke and
Larry Diehl and
Aaron Stump},
editor = {Stephen Chang},
title = {Impredicative Encodings of Inductive-Inductive Data in Cedille},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {1--15},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_1},
doi = {10.1007/978-3-031-38938-2\_1},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MarmadukeDS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Moy23,
author = {Cameron Moy},
editor = {Stephen Chang},
title = {Faster, Simpler Red-Black Trees},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {36--50},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_3},
doi = {10.1007/978-3-031-38938-2\_3},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Moy23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TempelBL23,
author = {S{\"{o}}ren Tempel and
Tobias Brandt and
Christoph L{\"{u}}th},
editor = {Stephen Chang},
title = {Versatile and Flexible Modelling of the {RISC-V} Instruction Set Architecture},
booktitle = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
pages = {16--35},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2\_2},
doi = {10.1007/978-3-031-38938-2\_2},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TempelBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2023,
editor = {Stephen Chang},
title = {Trends in Functional Programming - 24th International Symposium, {TFP}
2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13868},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38938-2},
doi = {10.1007/978-3-031-38938-2},
isbn = {978-3-031-38937-5},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CongA22,
author = {Youyou Cong and
Kenichi Asai},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Understanding Algebraic Effect Handlers via Delimited Control Operators},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {59--79},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_4},
doi = {10.1007/978-3-031-21314-4\_4},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/CongA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CrooijmansLK22,
author = {Sjoerd Crooijmans and
Mart Lubbers and
Pieter W. M. Koopman},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Reducing the Power Consumption of IoT with Task-Oriented Programming},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {80--99},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_5},
doi = {10.1007/978-3-031-21314-4\_5},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/CrooijmansLK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FurudonoCML22,
author = {Naoya Furudono and
Youyou Cong and
Hidehiko Masuhara and
Daan Leijen},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Towards Efficient Adjustment of Effect Rows},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {169--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_9},
doi = {10.1007/978-3-031-21314-4\_9},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/FurudonoCML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HartmannG22,
author = {Johannes Hartmann and
Jeremy Gibbons},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Algorithm Design with the Selection Monad},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {126--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_7},
doi = {10.1007/978-3-031-21314-4\_7},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HartmannG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/IkemoriCML22,
author = {Kazuki Ikemori and
Youyou Cong and
Hidehiko Masuhara and
Daan Leijen},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Sound and Complete Type Inference for Closed Effect Rows},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {144--168},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_8},
doi = {10.1007/978-3-031-21314-4\_8},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/IkemoriCML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KlijnsmaS22,
author = {Tosca Klijnsma and
Tim Steenvoorden},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Semantic Equivalence of Task-Oriented Programs in TopHat},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {100--125},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_6},
doi = {10.1007/978-3-031-21314-4\_6},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KlijnsmaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Lubbers22,
author = {Mart Lubbers},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Deep Embedding with Class},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {39--58},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_3},
doi = {10.1007/978-3-031-21314-4\_3},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Lubbers22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RestP22,
author = {Cas van der Rest and
Casper Bach Poulsen},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Towards a Language for Defining Reusable Programming Language Components
- (Project Paper)},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {18--38},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_2},
doi = {10.1007/978-3-031-21314-4\_2},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/RestP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Shevchenko22,
author = {Ruslan Shevchenko},
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Project Paper: Embedding Generic Monadic Transformer into Scala -
Can We Merge Monadic Programming into Mainstream?},
booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
pages = {1--17},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4\_1},
doi = {10.1007/978-3-031-21314-4\_1},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Shevchenko22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2022,
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4},
doi = {10.1007/978-3-031-21314-4},
isbn = {978-3-031-21313-7},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FrolichB21,
author = {Damian Fr{\"{o}}lich and
L. Thomas van Binsbergen},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {A Generic Back-End for Exploratory Programming},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {24--43},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_2},
doi = {10.1007/978-3-030-83978-9\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FrolichB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanMP21,
author = {Pieter W. M. Koopman and
Steffen Michels and
Rinus Plasmeijer},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {Dynamic Editors for Well-Typed Expressions},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {44--66},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_3},
doi = {10.1007/978-3-030-83978-9\_3},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MelcerC21,
author = {Daniel Melcer and
Stephen Chang},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {ProofViz: An Interactive Visual Proof Explorer},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {116--135},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_6},
doi = {10.1007/978-3-030-83978-9\_6},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MelcerC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Motara21,
author = {Yusuf Moosa Motara},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {High-Level Modelling for Typed Functional Programming},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {69--94},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_4},
doi = {10.1007/978-3-030-83978-9\_4},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Motara21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MunksgaardBHGO21,
author = {Philip Munksgaard and
Svend Lund Breddam and
Troels Henriksen and
Fabian Gieseke and
Cosmin E. Oancea},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic
Properties - Autotuning in Futhark},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {3--23},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_1},
doi = {10.1007/978-3-030-83978-9\_1},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MunksgaardBHGO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Sefl21,
author = {V{\'{\i}}t Sefl},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {Translating Lambda Calculus into {C++} Templates},
booktitle = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
pages = {95--115},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9\_5},
doi = {10.1007/978-3-030-83978-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Sefl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2021,
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
John Hughes},
title = {Trends in Functional Programming - 22nd International Symposium, {TFP}
2021, Virtual Event, February 17-19, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12834},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83978-9},
doi = {10.1007/978-3-030-83978-9},
isbn = {978-3-030-83977-2},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BereczkyHT20,
author = {P{\'{e}}ter Bereczky and
D{\'{a}}niel Horp{\'{a}}csi and
Simon J. Thompson},
editor = {Aleksander Byrski and
John Hughes},
title = {A Proof Assistant Based Formalisation of a Subset of Sequential Core
Erlang},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {139--158},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_7},
doi = {10.1007/978-3-030-57761-2\_7},
timestamp = {Wed, 02 Mar 2022 21:39:36 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BereczkyHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Janin20,
author = {David Janin},
editor = {Aleksander Byrski and
John Hughes},
title = {An Equational Modeling of Asynchronous Concurrent Programming},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {180--203},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_9},
doi = {10.1007/978-3-030-57761-2\_9},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Janin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KantHC0CCDDGJSV20,
author = {Philipp Kant and
Kevin Hammond and
Duncan Coutts and
James Chapman and
Nicholas Clarke and
Jared Corduan and
Neil J. Davies and
Javier D{\'{\i}}az and
Matthias G{\"{u}}demann and
Wolfgang Jeltsch and
Marcin Szamotulski and
Polina Vinogradova},
editor = {Aleksander Byrski and
John Hughes},
title = {Flexible Formality Practical Experience with Agile Formal Methods},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {94--120},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_5},
doi = {10.1007/978-3-030-57761-2\_5},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KantHC0CCDDGJSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KawaharaK20,
author = {Satoru Kawahara and
Yukiyoshi Kameyama},
editor = {Aleksander Byrski and
John Hughes},
title = {One-Shot Algebraic Effects as Coroutines},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {159--179},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_8},
doi = {10.1007/978-3-030-57761-2\_8},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KawaharaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MistaR20,
author = {Agust{\'{\i}}n Mista and
Alejandro Russo},
editor = {Aleksander Byrski and
John Hughes},
title = {BinderAnn: Automated Reification of Source Annotations for Monadic
EDSLs},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {25--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_2},
doi = {10.1007/978-3-030-57761-2\_2},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MistaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NausS20,
author = {Nico Naus and
Tim Steenvoorden},
editor = {Aleksander Byrski and
John Hughes},
title = {Generating Next Step Hints for Task Oriented Programs Using Symbolic
Execution},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {47--68},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_3},
doi = {10.1007/978-3-030-57761-2\_3},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/NausS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PenaS20,
author = {Ricardo Pe{\~{n}}a and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Aleksander Byrski and
John Hughes},
title = {White-Box Path Generation in Recursive Programs},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {121--135},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_6},
doi = {10.1007/978-3-030-57761-2\_6},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/PenaS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PietersS20,
author = {Ruben P. Pieters and
Tom Schrijvers},
editor = {Aleksander Byrski and
John Hughes},
title = {PaSe: An Extensible and Inspectable {DSL} for Micro-Animations},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {3--24},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_1},
doi = {10.1007/978-3-030-57761-2\_1},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/PietersS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Schiller20,
author = {Lukas Immanuel Schiller},
editor = {Aleksander Byrski and
John Hughes},
title = {Placement Strategies: Structured Skeleton Composition with Location-Aware
Remote Data},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {229--248},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_11},
doi = {10.1007/978-3-030-57761-2\_11},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Schiller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SeynaevePS20,
author = {Willem Seynaeve and
Koen Pauwels and
Tom Schrijvers},
editor = {Aleksander Byrski and
John Hughes},
title = {State Will do},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {204--225},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_10},
doi = {10.1007/978-3-030-57761-2\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SeynaevePS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SharradC20,
author = {Joanna Sharrad and
Olaf Chitil},
editor = {Aleksander Byrski and
John Hughes},
title = {Scaling Up Delta Debugging of Type Errors - Category: Research},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {71--93},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_4},
doi = {10.1007/978-3-030-57761-2\_4},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SharradC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2007-11070,
author = {Pedro Figueir{\^{e}}do and
Yuri Kim and
Le Minh Nghia and
Evan Sitt and
Xue Ying and
Vikt{\'{o}}ria Zs{\'{o}}k},
editor = {Jurriaan Hage},
title = {How to Increase Interest in Studying Functional Programming via Interdisciplinary
Application},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {37--54},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.3},
doi = {10.4204/EPTCS.321.3},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-09253,
author = {Oliver Westphal and
Janis Voigtl{\"{a}}nder},
editor = {Jurriaan Hage},
title = {Describing Console {I/O} Behavior for Testing Student Submissions
in Haskell},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {19--36},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.2},
doi = {10.4204/EPTCS.321.2},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-09254,
author = {Marco T. Moraz{\'{a}}n and
Joshua M. Schappel and
Sachin Mahashabde},
editor = {Jurriaan Hage},
title = {Visual Designing and Debugging of Deterministic Finite-State Machines
in {FSM}},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {55--77},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.4},
doi = {10.4204/EPTCS.321.4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-12115,
author = {Marco T. Moraz{\'{a}}n},
editor = {Jurriaan Hage},
title = {Using Video Game Development to Motivate Program Design and Algebra
Among Inner-City High School Students},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {78--99},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.5},
doi = {10.4204/EPTCS.321.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-12115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-12375,
author = {Marco T. Moraz{\'{a}}n},
editor = {Jurriaan Hage},
title = {How to Design While Loops},
booktitle = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
pages = {1--18},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321.1},
doi = {10.4204/EPTCS.321.1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-12375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2019,
editor = {William J. Bowman and
Ronald Garcia},
title = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-47147-7},
doi = {10.1007/978-3-030-47147-7},
isbn = {978-3-030-47146-0},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2020,
editor = {Aleksander Byrski and
John Hughes},
title = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2},
doi = {10.1007/978-3-030-57761-2},
isbn = {978-3-030-57760-5},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2008-08923,
editor = {Jurriaan Hage},
title = {Proceedings Eighth and Ninth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2020, Vancouver, Canada and Krakow,
Poland, 11th June 2019 and 12th February 2020},
series = {{EPTCS}},
volume = {321},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.321},
doi = {10.4204/EPTCS.321},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-08923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AngeloF19,
author = {Pedro {\^{A}}ngelo and
M{\'{a}}rio Florido},
editor = {William J. Bowman and
Ronald Garcia},
title = {Type Inference for Rank 2 Gradual Intersection Types},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {84--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_5},
doi = {10.1007/978-3-030-47147-7\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/AngeloF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Cimini19,
author = {Matteo Cimini},
editor = {William J. Bowman and
Ronald Garcia},
title = {Early Experience in Teaching the Basics of Functional Language Design
with a Language Type Checker},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {21--37},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_2},
doi = {10.1007/978-3-030-47147-7\_2},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Cimini19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Eremondi19,
author = {Joseph Eremondi},
editor = {William J. Bowman and
Ronald Garcia},
title = {Set Constraints, Pattern Match Analysis, and {SMT}},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {121--141},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_6},
doi = {10.1007/978-3-030-47147-7\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Eremondi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hughes19,
author = {John Hughes},
editor = {William J. Bowman and
Ronald Garcia},
title = {How to Specify It! - {A} Guide to Writing Properties of Pure Functions},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {58--83},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_4},
doi = {10.1007/978-3-030-47147-7\_4},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Hughes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/IshioA19,
author = {Chiaki Ishio and
Kenichi Asai},
editor = {William J. Bowman and
Ronald Garcia},
title = {Verifying Selective {CPS} Transformation for Shift and Reset},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {38--57},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_3},
doi = {10.1007/978-3-030-47147-7\_3},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/IshioA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MarmadukeJS19,
author = {Andrew Marmaduke and
Christopher Jenkins and
Aaron Stump},
editor = {William J. Bowman and
Ronald Garcia},
title = {Quotients by Idempotent Functions in Cedille},
booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP}
2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12053},
pages = {1--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-47147-7\_1},
doi = {10.1007/978-3-030-47147-7\_1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MarmadukeJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2016,
editor = {David Van Horn and
John Hughes},
title = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14805-8},
doi = {10.1007/978-3-030-14805-8},
isbn = {978-3-030-14804-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2018,
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18506-0},
doi = {10.1007/978-3-030-18506-0},
isbn = {978-3-030-18505-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1906-10757,
editor = {Peter Achten and
Heather Miller},
title = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.295},
doi = {10.4204/EPTCS.295},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AlgehedJEG18,
author = {Maximilian Algehed and
Patrik Jansson and
S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
Alex Gerdes},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Saint: An API-Generic Type-Safe Interpreter},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {94--113},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_5},
doi = {10.1007/978-3-030-18506-0\_5},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AlgehedJEG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BelikovLM18,
author = {Evgenij Belikov and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Colocation of Potential Parallelism in a Distributed Adaptive Run-Time
System for Parallel Haskell},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {1--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_1},
doi = {10.1007/978-3-030-18506-0\_1},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BelikovLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HandleyH18,
author = {Martin A. T. Handley and
Graham Hutton},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Improving Haskell},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {114--135},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_6},
doi = {10.1007/978-3-030-18506-0\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HandleyH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HovgaardHE18,
author = {Anders Kiel Hovgaard and
Troels Henriksen and
Martin Elsman},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {High-Performance Defunctionalisation in Futhark},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {136--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_7},
doi = {10.1007/978-3-030-18506-0\_7},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HovgaardHE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KeirGH18,
author = {Paul Keir and
Andrew Gozillon and
Seyed Hossein Haeri},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Intrinsic Currying for {C++} Template Metaprograms},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {46--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_3},
doi = {10.1007/978-3-030-18506-0\_3},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KeirGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Lopez-GonzalezS18,
author = {J. L{\'{o}}pez{-}Gonz{\'{a}}lez and
Juan M. Serrano},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Towards Optic-Based Algebraic Theories: The Case of Lenses},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {74--93},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_4},
doi = {10.1007/978-3-030-18506-0\_4},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Lopez-GonzalezS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/VriesP18,
author = {Folkert de Vries and
Jorge A. P{\'{e}}rez},
editor = {Michal H. Palka and
Magnus O. Myreen},
title = {Reversible Session-Based Concurrency in Haskell},
booktitle = {Trends in Functional Programming - 19th International Symposium, {TFP}
2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11457},
pages = {20--45},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-18506-0\_2},
doi = {10.1007/978-3-030-18506-0\_2},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/VriesP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-11421,
author = {Marco T. Moraz{\'{a}}n and
Josephine A. Des Rosiers},
editor = {Peter Achten and
Heather Miller},
title = {{FSM} Error Messages},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {1--16},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.1},
doi = {10.4204/EPTCS.295.1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-11422,
author = {Tsukino Furukawa and
Youyou Cong and
Kenichi Asai},
editor = {Peter Achten and
Heather Miller},
title = {Stepping OCaml},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {17--34},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.2},
doi = {10.4204/EPTCS.295.2},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-11423,
author = {Marco T. Moraz{\'{a}}n},
editor = {Peter Achten and
Heather Miller},
title = {Vector Programming Using Generative Recursion},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {35--51},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.3},
doi = {10.4204/EPTCS.295.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-11425,
author = {Per Lindgren and
Marcus Lindner and
Nils Fitinghoff},
editor = {Peter Achten and
Heather Miller},
title = {Introducing Certified Compilation in Education by a Functional Language
Approach},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {65--78},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.5},
doi = {10.4204/EPTCS.295.5},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-11450,
author = {Boldizs{\'{a}}r N{\'{e}}meth and
Eunjong Choi and
Erina Makihara and
Hajimu Iida},
editor = {Peter Achten and
Heather Miller},
title = {Investigating Compilation Errors of Students Learning Haskell},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {52--64},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.4},
doi = {10.4204/EPTCS.295.4},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-11450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-01572,
author = {Patrik Jansson and
S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
Cezar Ionescu},
editor = {Peter Achten and
Heather Miller},
title = {Examples and Results from a BSc-level Course on Domain Specific Languages
of Mathematics},
booktitle = {Proceedings Seventh International Workshop on Trends in Functional
Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg,
Sweden, 14th June 2018},
series = {{EPTCS}},
volume = {295},
pages = {79--90},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.295.6},
doi = {10.4204/EPTCS.295.6},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01572.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2017,
editor = {Meng Wang and
Scott Owens},
title = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89719-6},
doi = {10.1007/978-3-319-89719-6},
isbn = {978-3-319-89718-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1805-04255,
editor = {Simon Thompson},
title = {Proceedings Sixth Workshop on Trends in Functional Programming in
Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
series = {{EPTCS}},
volume = {270},
year = {2018},
url = {http://arxiv.org/abs/1805.04255},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AbrahamssonM17,
author = {Oskar Abrahamsson and
Magnus O. Myreen},
editor = {Meng Wang and
Scott Owens},
title = {Automatically Introducing Tail Recursion in CakeML},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {118--134},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_7},
doi = {10.1007/978-3-319-89719-6\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/AbrahamssonM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DolanEHMSW17,
author = {Stephen Dolan and
Spiros Eliopoulos and
Daniel Hillerstr{\"{o}}m and
Anil Madhavapeddy and
K. C. Sivaramakrishnan and
Leo White},
editor = {Meng Wang and
Scott Owens},
title = {Concurrent System Programming with Effect Handlers},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {98--117},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_6},
doi = {10.1007/978-3-319-89719-6\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DolanEHMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HjortHP17,
author = {Rikard Hjort and
Jakob Holmgren and
Christian Persson},
editor = {Meng Wang and
Scott Owens},
title = {The CakeML Compiler Explorer - Tracking Intermediate Representations
in a Verified Compiler},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {135--148},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_8},
doi = {10.1007/978-3-319-89719-6\_8},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HjortHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HoremansRDP17,
author = {Jeff Horemans and
Bob Reynders and
Dominique Devriese and
Frank Piessens},
editor = {Meng Wang and
Scott Owens},
title = {Elmsvuur: {A} Multi-tier Version of Elm and its Time-Traveling Debugger},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {79--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_5},
doi = {10.1007/978-3-319-89719-6\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HoremansRDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LozovVB17,
author = {Petr Lozov and
Andrei Vyatkin and
Dmitry Boulytchev},
editor = {Meng Wang and
Scott Owens},
title = {Typed Relational Conversion},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {39--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_3},
doi = {10.1007/978-3-319-89719-6\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LozovVB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Midtgaard17,
author = {Jan Midtgaard},
editor = {Meng Wang and
Scott Owens},
title = {QuickChecking Patricia Trees},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {59--78},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_4},
doi = {10.1007/978-3-319-89719-6\_4},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Midtgaard17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MorazanROD17,
author = {Marco T. Moraz{\'{a}}n and
Lindsey M. Reams and
Nicholas R. Olson and
Shamil Dzhatdoyev},
editor = {Meng Wang and
Scott Owens},
title = {Memoized Flat Closures for {CPS} - or Taming Memory Allocation for
{\textbackslash}lambda {\(\lambda\)} in {CPS}},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {1--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_1},
doi = {10.1007/978-3-319-89719-6\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/MorazanROD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/StutterheimAP17,
author = {Jurri{\"{e}}n Stutterheim and
Peter Achten and
Rinus Plasmeijer},
editor = {Meng Wang and
Scott Owens},
title = {Maintaining Separation of Concerns Through Task Oriented Software
Development},
booktitle = {Trends in Functional Programming - 18th International Symposium, {TFP}
2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10788},
pages = {19--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89719-6\_2},
doi = {10.1007/978-3-319-89719-6\_2},
timestamp = {Thu, 19 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/StutterheimAP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05124,
author = {Marco T. Moraz{\'{a}}n},
editor = {Simon Thompson},
title = {Vector Programming Using Structural Recursion},
booktitle = {Proceedings Sixth Workshop on Trends in Functional Programming in
Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
series = {{EPTCS}},
volume = {270},
pages = {1--17},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.270.1},
doi = {10.4204/EPTCS.270.1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05125,
author = {Curtis D'Alves and
Tanya Bouman and
Christopher Schankula and
Jenell Hogg and
Levin Noronha and
Emily Horsman and
Rumsha Siddiqui and
Christopher Kumar Anand},
editor = {Simon Thompson},
title = {Using Elm to Introduce Algebraic Thinking to {K-8} Students},
booktitle = {Proceedings Sixth Workshop on Trends in Functional Programming in
Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
series = {{EPTCS}},
volume = {270},
pages = {18--36},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.270.2},
doi = {10.4204/EPTCS.270.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05126,
author = {Jeremy Singer and
Blair Archibald},
editor = {Simon Thompson},
title = {Functional Baby Talk: Analysis of Code Fragments from Novice Haskell
Programmers},
booktitle = {Proceedings Sixth Workshop on Trends in Functional Programming in
Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
series = {{EPTCS}},
volume = {270},
pages = {37--51},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.270.3},
doi = {10.4204/EPTCS.270.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05127,
author = {Stephen Adams},
editor = {Simon Thompson},
title = {Teaching Erlang through the Internet: An Experience Report},
booktitle = {Proceedings Sixth Workshop on Trends in Functional Programming in
Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017},
series = {{EPTCS}},
volume = {270},
pages = {52--60},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.270.4},
doi = {10.4204/EPTCS.270.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05127.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ArvidssonJT16,
author = {Andreas Arvidsson and
Moa Johansson and
Robin Touche},
editor = {David Van Horn and
John Hughes},
title = {Proving Type Class Laws for Haskell},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {61--74},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_4},
doi = {10.1007/978-3-030-14805-8\_4},
timestamp = {Tue, 21 Mar 2023 21:02:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/ArvidssonJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GrebeG16,
author = {Mark Grebe and
Andy Gill},
editor = {David Van Horn and
John Hughes},
title = {Threading the Arduino with Haskell},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {135--154},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_8},
doi = {10.1007/978-3-030-14805-8\_8},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/GrebeG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Greenberg16,
author = {Michael Greenberg},
editor = {David Van Horn and
John Hughes},
title = {Space-Efficient Latent Contracts},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {3--23},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_1},
doi = {10.1007/978-3-030-14805-8\_1},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Greenberg16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GuneratneRS16,
author = {Ananda Guneratne and
Chad Reynolds and
Aaron Stump},
editor = {David Van Horn and
John Hughes},
title = {Project Report: Dependently Typed Programming with Lambda Encodings
in Cedille},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {115--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_7},
doi = {10.1007/978-3-030-14805-8\_7},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/GuneratneRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HeadleyH16,
author = {Kyle Headley and
Matthew A. Hammer},
editor = {David Van Horn and
John Hughes},
title = {The Random Access Zipper - Simple, Persistent Sequences},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {155--171},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_9},
doi = {10.1007/978-3-030-14805-8\_9},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HeadleyH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HuangMA16,
author = {Ruochen Huang and
Hidehiko Masuhara and
Tomoyuki Aotani},
editor = {David Van Horn and
John Hughes},
title = {Improving Sequential Performance of Erlang Based on a Meta-tracing
Just-In-Time Compiler},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {44--58},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_3},
doi = {10.1007/978-3-030-14805-8\_3},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HuangMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NausJ16,
author = {Nico Naus and
Johan Jeuring},
editor = {David Van Horn and
John Hughes},
title = {Building a Generic Feedback System for Rule-Based Problems},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {172--191},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_10},
doi = {10.1007/978-3-030-14805-8\_10},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/NausJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NausT16,
author = {Nico Naus and
Peter Thiemann},
editor = {David Van Horn and
John Hughes},
title = {Dynamic Flow Analysis for JavaScript},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {75--93},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_5},
doi = {10.1007/978-3-030-14805-8\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/NausT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/StelleSOF16,
author = {George Stelle and
Darko Stefanovic and
Stephen L. Olivier and
Stephanie Forrest},
editor = {David Van Horn and
John Hughes},
title = {Cactus Environment Machine - Shared Environment Call-by-Need},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {24--43},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_2},
doi = {10.1007/978-3-030-14805-8\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/StelleSOF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/VaugonM16,
author = {Beno{\^{\i}}t Vaugon and
Michel Mauny},
editor = {David Van Horn and
John Hughes},
title = {A Type Inference System Based on Saturation of Subtyping Constraints},
booktitle = {Trends in Functional Programming - 17th International Conference,
{TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10447},
pages = {94--112},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-030-14805-8\_6},
doi = {10.1007/978-3-030-14805-8\_6},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/VaugonM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoenderCLPR16,
author = {Jaap Boender and
Edward Currie and
Martin J. Loomes and
Giuseppe Primiero and
Franco Raimondi},
editor = {Johan Jeuring and
Jay McCarthy},
title = {Teaching Functional Patterns through Robotic Applications},
booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
pages = {17--29},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230.2},
doi = {10.4204/EPTCS.230.2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BoenderCLPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/IonescuJ16,
author = {Cezar Ionescu and
Patrik Jansson},
editor = {Johan Jeuring and
Jay McCarthy},
title = {Domain-Specific Languages of Mathematics: Presenting Mathematical
Analysis Using Functional Programming},
booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230.1},
doi = {10.4204/EPTCS.230.1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IonescuJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ragde16,
author = {Prabhakar Ragde},
editor = {Johan Jeuring and
Jay McCarthy},
title = {Proust: {A} Nano Proof Assistant},
booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
pages = {63--75},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230.5},
doi = {10.4204/EPTCS.230.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ragde16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Walck16,
author = {Scott N. Walck},
editor = {Johan Jeuring and
Jay McCarthy},
title = {Learn Quantum Mechanics with Haskell},
booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
pages = {31--46},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230.3},
doi = {10.4204/EPTCS.230.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Walck16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WinterLC16,
author = {Victor L. Winter and
Betty Love and
Cindy Corritore},
editor = {Johan Jeuring and
Jay McCarthy},
title = {The Bricklayer Ecosystem - Art, Math, and Code},
booktitle = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
pages = {47--61},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230.4},
doi = {10.4204/EPTCS.230.4},
timestamp = {Fri, 24 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WinterLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2015,
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39110-6},
doi = {10.1007/978-3-319-39110-6},
isbn = {978-3-319-39109-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/JeuringM16,
editor = {Johan Jeuring and
Jay McCarthy},
title = {Proceedings of the 4th and 5th International Workshop on Trends in
Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
France, and University of Maryland, College Park, MD, USA, June 2,
2015, and June 7, 2016},
series = {{EPTCS}},
volume = {230},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.230},
doi = {10.4204/EPTCS.230},
timestamp = {Thu, 21 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JeuringM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AlkemadeJ15,
author = {Thijs Alkemade and
Johan Jeuring},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Type Class Instances for Type-Level Lambdas in Haskell},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {60--84},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_4},
doi = {10.1007/978-3-319-39110-6\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AlkemadeJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AxelssonV15,
author = {Emil Axelsson and
Andrea Vezzosi},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Lightweight Higher-Order Rewriting in Haskell},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {1--21},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_1},
doi = {10.1007/978-3-319-39110-6\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AxelssonV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DuboisP15,
author = {Catherine Dubois and
Fran{\c{c}}ois Pessaux},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Termination Proofs for Recursive Functions in FoCaLiZe},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {136--156},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_8},
doi = {10.1007/978-3-319-39110-6\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DuboisP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EarleF15,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Functional Testing of Java Programs},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {40--59},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_3},
doi = {10.1007/978-3-319-39110-6\_3},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/EarleF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FowlerH15,
author = {Jonathan Fowler and
Graham Hutton},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Towards a Theory of Reach},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {22--39},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_2},
doi = {10.1007/978-3-319-39110-6\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FowlerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanP15,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {A Shallow Embedded Type Safe Extendable {DSL} for the Arduino},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {104--123},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_6},
doi = {10.1007/978-3-319-39110-6\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/PerssonA15,
author = {Anders Persson and
Emil Axelsson},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Programmable Signatures},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {124--135},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_7},
doi = {10.1007/978-3-319-39110-6\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/PerssonA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WidemannL15,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Markus Lepper},
editor = {Manuel Serrano and
Jurriaan Hage},
title = {Laminar Data Flow: On the Role of Slicing in Functional Data-Flow
Programming - Research Paper},
booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9547},
pages = {85--103},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-39110-6\_5},
doi = {10.1007/978-3-319-39110-6\_5},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/WidemannL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2014,
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14675-1},
doi = {10.1007/978-3-319-14675-1},
isbn = {978-3-319-14674-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AljabriLT14,
author = {Malak Saleh Aljabri and
Hans{-}Wolfgang Loidl and
Phil Trinder},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Balancing Shared and Distributed Heaps on {NUMA} Architectures},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {1--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_1},
doi = {10.1007/978-3-319-14675-1\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AljabriLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BozoFHHKKT14,
author = {Istv{\'{a}}n Boz{\'{o}} and
Viktoria Ford{\'{o}}s and
D{\'{a}}niel Horp{\'{a}}csi and
Zolt{\'{a}}n Horv{\'{a}}th and
Tam{\'{a}}s Kozsik and
Judit K{\"{o}}szegi and
Melinda T{\'{o}}th},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Refactorings to Enable Parallelization},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {104--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_7},
doi = {10.1007/978-3-319-14675-1\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BozoFHHKKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Brady14,
author = {Edwin C. Brady},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Resource-Dependent Algebraic Effects},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {18--33},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_2},
doi = {10.1007/978-3-319-14675-1\_2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Brady14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Breitner14,
author = {Joachim Breitner},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Call Arity},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {34--50},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_3},
doi = {10.1007/978-3-319-14675-1\_3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Breitner14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BuitleirDRH14,
author = {Amy de Buitl{\'{e}}ir and
Mark Daly and
Michael Russell and
Daniel M. Heffernan},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {A Functional Approach to Sex: Reproduction in the Cr{\'{e}}at{\'{u}}r
Framework},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {68--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_5},
doi = {10.1007/978-3-319-14675-1\_5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BuitleirDRH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Danilenko14,
author = {Nikita Danilenko},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Graph Problems and Vector-Matrix Multiplications in Haskell},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {51--67},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_4},
doi = {10.1007/978-3-319-14675-1\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Danilenko14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FaddegonC14,
author = {Maarten Faddegon and
Olaf Chitil},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Type Generic Observing},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {84--103},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_6},
doi = {10.1007/978-3-319-14675-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FaddegonC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/StutterheimPA14,
author = {Jurri{\"{e}}n Stutterheim and
Rinus Plasmeijer and
Peter Achten},
editor = {Jurriaan Hage and
Jay McCarthy},
title = {Tonic: An Infrastructure to Graphically Represent the Definition and
Behaviour of Tasks},
booktitle = {Trends in Functional Programming - 15th International Symposium, {TFP}
2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8843},
pages = {122--141},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14675-1\_8},
doi = {10.1007/978-3-319-14675-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/StutterheimPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/IshiiA14,
author = {Yuki Ishii and
Kenichi Asai},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Report on a User Test and Extension of a Type Debugger for Novice
Programmers},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {1--18},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.1},
doi = {10.4204/EPTCS.170.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IshiiA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MorazanA14,
author = {Marco T. Moraz{\'{a}}n and
Rosario Antunez},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Functional Automata - Formal Languages for Computer Science Students},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {19--32},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.2},
doi = {10.4204/EPTCS.170.2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MorazanA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OlmerHJ14,
author = {Tim Olmer and
Bastiaan Heeren and
Johan Jeuring},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Evaluating Haskell expressions in a tutoring environment},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {50--66},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.4},
doi = {10.4204/EPTCS.170.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OlmerHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ragde14,
author = {Prabhakar Ragde},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Simple Balanced Binary Search Trees},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {78--87},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.6},
doi = {10.4204/EPTCS.170.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ragde14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Walck14,
author = {Scott N. Walck},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Learn Physics by Programming in Haskell},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {67--77},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.5},
doi = {10.4204/EPTCS.170.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Walck14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Winter14b,
author = {Victor L. Winter},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Bricklayer: An Authentic Introduction to the Functional Programming
Language {SML}},
booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
pages = {33--49},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.3},
doi = {10.4204/EPTCS.170.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Winter14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2013,
editor = {Jay McCarthy},
title = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45340-3},
doi = {10.1007/978-3-642-45340-3},
isbn = {978-3-642-45339-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CaldwellHA14,
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
title = {Proceedings 3rd International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
2014},
series = {{EPTCS}},
volume = {170},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170},
doi = {10.4204/EPTCS.170},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CaldwellHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BaaijK13,
author = {Christiaan Baaij and
Jan Kuper},
editor = {Jay McCarthy},
title = {Using Rewriting to Synthesize Functional Languages to Digital Circuits},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {17--33},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_2},
doi = {10.1007/978-3-642-45340-3\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BaaijK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GilrayM13,
author = {Thomas Gilray and
Matthew Might},
editor = {Jay McCarthy},
title = {A Survey of Polyvariance in Abstract Interpretations},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {134--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_9},
doi = {10.1007/978-3-642-45340-3\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GilrayM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HarnieSM13,
author = {Dries Harnie and
Christophe Scholliers and
Wolfgang De Meuter},
editor = {Jay McCarthy},
title = {Blame Prediction},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {91--106},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_6},
doi = {10.1007/978-3-642-45340-3\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HarnieSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanAP13,
author = {Pieter W. M. Koopman and
Peter Achten and
Rinus Plasmeijer},
editor = {Jay McCarthy},
title = {Model-Based Shrinking for State-Based Testing},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {107--124},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_7},
doi = {10.1007/978-3-642-45340-3\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanAP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LydeM13,
author = {Steven Lyde and
Matthew Might},
editor = {Jay McCarthy},
title = {Control-Flow Analysis with {SAT} Solvers},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {125--133},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_8},
doi = {10.1007/978-3-642-45340-3\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LydeM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Morazan13,
author = {Marco T. Moraz{\'{a}}n},
editor = {Jay McCarthy},
title = {Bytecode and Memoized Closure Performance},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {58--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_4},
doi = {10.1007/978-3-642-45340-3\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Morazan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Morazan13a,
author = {Marco T. Moraz{\'{a}}n},
editor = {Jay McCarthy},
title = {Functional Video Games in {CS1} {III} - Distributed Programming for
Beginners},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {149--167},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_10},
doi = {10.1007/978-3-642-45340-3\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Morazan13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SpaccasassiK13,
author = {Carlo Spaccasassi and
Vasileios Koutavas},
editor = {Jay McCarthy},
title = {Towards Efficient Abstractions for Concurrent Consensus},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {76--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_5},
doi = {10.1007/978-3-642-45340-3\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SpaccasassiK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TewSFFD13,
author = {Kevin Tew and
James Swaine and
Matthew Flatt and
Robert Bruce Findler and
Peter A. Dinda},
editor = {Jay McCarthy},
title = {Distributed Places},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {34--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_3},
doi = {10.1007/978-3-642-45340-3\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TewSFFD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Trancon-y-Widemann13,
author = {Baltasar Tranc{\'{o}}n y Widemann},
editor = {Jay McCarthy},
title = {Total Functional Software Engineering - Overview Paper},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_1},
doi = {10.1007/978-3-642-45340-3\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Trancon-y-Widemann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Caldwell13,
author = {James L. Caldwell},
editor = {Philip K. F. H{\"{o}}lzenspies},
title = {Structural Induction Principles for Functional Programmers},
booktitle = {Proceedings Second Workshop on Trends in Functional Programming In
Education, {TFPIE} 2013, Provo, Utah, USA, 13th May 2013},
series = {{EPTCS}},
volume = {136},
pages = {16--26},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.136.2},
doi = {10.4204/EPTCS.136.2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Caldwell13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tobin-HochstadtH13,
author = {Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Philip K. F. H{\"{o}}lzenspies},
title = {From Principles to Practice with Class in the First Year},
booktitle = {Proceedings Second Workshop on Trends in Functional Programming In
Education, {TFPIE} 2013, Provo, Utah, USA, 13th May 2013},
series = {{EPTCS}},
volume = {136},
pages = {1--15},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.136.1},
doi = {10.4204/EPTCS.136.1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Tobin-HochstadtH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2012,
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40447-4},
doi = {10.1007/978-3-642-40447-4},
isbn = {978-3-642-40446-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Holzenspies13,
editor = {Philip K. F. H{\"{o}}lzenspies},
title = {Proceedings Second Workshop on Trends in Functional Programming In
Education, {TFPIE} 2013, Provo, Utah, USA, 13th May 2013},
series = {{EPTCS}},
volume = {136},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.136},
doi = {10.4204/EPTCS.136},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Holzenspies13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AronisS12,
author = {Stavros Aronis and
Konstantinos Sagonas},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {On Using Erlang for Parallelization - Experience from Parallelizing
Dialyzer},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {295--310},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_19},
doi = {10.1007/978-3-642-40447-4\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AronisS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BoudevilleCCLPSTTW12,
author = {Olivier Boudeville and
Francesco Cesarini and
Natalia Chechina and
Kenneth Lundin and
Nikolaos Papaspyrou and
Konstantinos Sagonas and
Simon J. Thompson and
Phil Trinder and
Ulf T. Wiger},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {{RELEASE:} {A} High-Level Paradigm for Reliable Large-Scale Server
Software - (Project Paper)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {263--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_17},
doi = {10.1007/978-3-642-40447-4\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BoudevilleCCLPSTTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Clerc12,
author = {Xavier Clerc},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {OCaml-Java: OCaml on the {JVM}},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {167--181},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_11},
doi = {10.1007/978-3-642-40447-4\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Clerc12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DiogoG12,
author = {Miguel Diogo and
Clemens Grelck},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Towards Heterogeneous Computing without Heterogeneous Programming},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {279--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_18},
doi = {10.1007/978-3-642-40447-4\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DiogoG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FennellT12,
author = {Luminous Fennell and
Peter Thiemann},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Blame Theorem for a Linear Lambda Calculus with Type Dynamic},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {37--52},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_3},
doi = {10.1007/978-3-642-40447-4\_3},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/FennellT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FerreiroJCH12,
author = {Henrique Ferreiro and
Vladimir Janjic and
Laura M. Castro and
Kevin Hammond},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Repeating History: Execution Replay for Parallel Haskell Programs},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {231--246},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_15},
doi = {10.1007/978-3-642-40447-4\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FerreiroJCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GijzelN12,
author = {Bas van Gijzel and
Henrik Nilsson},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Haskell Gets Argumentative},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {215--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_14},
doi = {10.1007/978-3-642-40447-4\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/GijzelN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GobiSE12,
author = {Attila G{\'{o}}bi and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Higher-Order Size Checking without Subtyping},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {53--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_4},
doi = {10.1007/978-3-642-40447-4\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GobiSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Komendantsky12,
author = {Vladimir Komendantsky},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Matching Problem for Regular Expressions with Variables},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {149--166},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_10},
doi = {10.1007/978-3-642-40447-4\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Komendantsky12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KourzanovS12,
author = {Peter Kourzanov and
Henk J. Sips},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Lingua Franca of Functional Programming {(FP)}},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {198--214},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_13},
doi = {10.1007/978-3-642-40447-4\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KourzanovS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Krustev12,
author = {Dimitur Nikolaev Krustev},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Towards a Framework for Building Formally Verified Supercompilers
in Coq},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {133--148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_9},
doi = {10.1007/978-3-642-40447-4\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Krustev12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ProcterHS12,
author = {Adam M. Procter and
William L. Harrison and
Aaron Stump},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Design of a Practical Proof Checker for a Lazy Functional Language},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {117--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_8},
doi = {10.1007/978-3-642-40447-4\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ProcterHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RohloffL12,
author = {Judith Rohloff and
Florian Lorenzen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Call-by-Value Semantics for Mutually Recursive First-Class Modules},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {101--116},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_7},
doi = {10.1007/978-3-642-40447-4\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RohloffL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SilkensenS12,
author = {Erik Silkensen and
Jeremy G. Siek},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Well-Typed Islands Parse Faster},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {69--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_5},
doi = {10.1007/978-3-642-40447-4\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SilkensenS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SmetsersE12,
author = {Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Higher-Order Strictness Typing},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {85--100},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_6},
doi = {10.1007/978-3-642-40447-4\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SmetsersE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/StewartTM12,
author = {Robert J. Stewart and
Phil Trinder and
Patrick Maier},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Supervised Workpools for Reliable Massively Parallel Computing},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {247--262},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_16},
doi = {10.1007/978-3-642-40447-4\_16},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/StewartTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SvenningssonA12,
author = {Josef Svenningsson and
Emil Axelsson},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Combining Deep and Shallow Embedding for {EDSL}},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {21--36},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_2},
doi = {10.1007/978-3-642-40447-4\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SvenningssonA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Trancon-y-WidemannBG12,
author = {Baltasar Tranc{\'{o}}n y Widemann and
Carl Friedrich Bolz and
Clemens Grelck},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {The Functional Programming Language {R} and the Paradigm of Dynamic
Scientific Programming - (Position Paper)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {182--197},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_12},
doi = {10.1007/978-3-642-40447-4\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Trancon-y-WidemannBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Turner12,
author = {D. A. Turner},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Some History of Functional Programming Languages - (Invited Talk)},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_1},
doi = {10.1007/978-3-642-40447-4\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Turner12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5074,
author = {Rex L. Page and
Ruben Gamboa},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {How Computers Work: Computational Thinking for Everyone},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {1--19},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.1},
doi = {10.4204/EPTCS.106.1},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5075,
author = {John T. O'Donnell},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {Connecting the Dots: Computer Systems Education using a Functional
Hardware Description Language},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {20--39},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.2},
doi = {10.4204/EPTCS.106.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5076,
author = {Prabhakar Ragde},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {Mathematics Is Imprecise},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {40--49},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.3},
doi = {10.4204/EPTCS.106.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5076.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5077,
author = {Jurri{\"{e}}n Stutterheim and
Wouter Swierstra and
S. Doaitse Swierstra},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {Forty hours of declarative programming: Teaching Prolog at the Junior
College Utrecht},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {50--62},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.4},
doi = {10.4204/EPTCS.106.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2011,
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32037-8},
doi = {10.1007/978-3-642-32037-8},
isbn = {978-3-642-32036-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1301-4650,
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106},
doi = {10.4204/EPTCS.106},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BertholdFHLSV11,
author = {Jost Berthold and
Andrzej Filinski and
Fritz Henglein and
Ken Friis Larsen and
Mogens Steffensen and
Brian Vinter},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Functional High Performance Financial {IT}},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {98--113},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_7},
doi = {10.1007/978-3-642-32037-8\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BertholdFHLSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Brady11,
author = {Edwin C. Brady},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Epic - {A} Library for Generating Compilers},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {33--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_3},
doi = {10.1007/978-3-642-32037-8\_3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Brady11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BrownLH11,
author = {Christopher Brown and
Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring
Techniques},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {82--97},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_6},
doi = {10.1007/978-3-642-32037-8\_6},
timestamp = {Wed, 28 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BrownLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DayH11,
author = {Laurence E. Day and
Graham Hutton},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Towards Modular Compilers for Effects},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {49--64},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_4},
doi = {10.1007/978-3-642-32037-8\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/DayH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DelbiancoJP11,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Mauro Jaskelioff and
Alberto Pardo},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Applicative Shortcut Fusion},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {179--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_12},
doi = {10.1007/978-3-642-32037-8\_12},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DelbiancoJP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FilliatreK11,
author = {Jean{-}Christophe Filli{\^{a}}tre and
K. Kalyanasundaram},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Functory: {A} Distributed Computing Library for Objective Caml},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {65--81},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_5},
doi = {10.1007/978-3-642-32037-8\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FilliatreK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HenrixPA11,
author = {Jeroen Henrix and
Rinus Plasmeijer and
Peter Achten},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {GiN: {A} Graphical Language and Tool for Defining iTask Workflows},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {163--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_11},
doi = {10.1007/978-3-642-32037-8\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HenrixPA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Komendantsky11,
author = {Vladimir Komendantsky},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Subtyping by Folding an Inductive Relation into a Coinductive One},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {17--32},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_2},
doi = {10.1007/978-3-642-32037-8\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Komendantsky11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Lesniak11,
author = {Michael Lesniak},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Thread-Safe Priority Queues in Haskell Based on Skiplists},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {114--129},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_8},
doi = {10.1007/978-3-642-32037-8\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Lesniak11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Morazan11,
author = {Marco T. Moraz{\'{a}}n},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Functional Video Games in {CS1} {II}},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {146--162},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_10},
doi = {10.1007/978-3-642-32037-8\_10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Morazan11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Schilling11,
author = {Thomas Schilling},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Constraint-Free Type Error Slicing},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {1--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_1},
doi = {10.1007/978-3-642-32037-8\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Schilling11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Straka11,
author = {Milan Straka},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {Adams' Trees Revisited},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {130--145},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_9},
doi = {10.1007/978-3-642-32037-8\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Straka11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/sfp/AswadTZMB09,
author = {Mustafa Aswad and
Phil Trinder and
Abdallah Al Zain and
Greg Michaelson and
Jost Berthold},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Low Pain vs No Pain Multi-core Haskells},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {49--64},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/AswadTZMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GuoTS09,
author = {Jing Guo and
Jeyarajan Thiyagalingam and
Sven{-}Bodo Scholz},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Towards Compiling {SAC} to {CUDA}},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {33--48},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GuoTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HorstmeyerL09,
author = {Thomas Horstmeyer and
Rita Loogen},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Graph-based Communication in Eden},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {1--16},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HorstmeyerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HuH09,
author = {Liyang Hu and
Graham Hutton},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Compiling Concurrency Correctly: Cutting out the Middle Man},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {17--32},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HuH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JamesH09,
author = {Daniel W. H. James and
Ralf Hinze},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {A Reflection-based Proof Tactic for Lattices in Coq},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {97--112},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JamesH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Jeltsch09,
author = {Wolfgang Jeltsch},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Signals, Not Generators!},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {145--160},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Jeltsch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JeuringMH09,
author = {Johan Jeuring and
Jos{\'{e}} Pedro Magalh{\~{a}}es and
Bastiaan Heeren},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Generic Programming for Domain Reasoners},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {113--128},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JeuringMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Kahl09,
author = {Wolfram Kahl},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Haskell Module Tools for Liberating Type Class Design},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {129--144},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Kahl09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/NielsenMN09,
author = {Tom Nielsen and
Tom Matheson and
Henrik Nilsson},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Braincurry: {A} Domain-specific Language for Integrative Neuroscience},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {161--176},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/NielsenMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Sanchez-GilHO09,
author = {Lidia S{\'{a}}nchez{-}Gil and
Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {An Operational Semantics for Distributed Lazy Evaluation},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {65--80},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Sanchez-GilHO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Zerny09,
author = {Ian Zerny},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {On Graph Rewriting, Reduction and Evaluation},
booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
pages = {81--96},
publisher = {Intellect},
year = {2009},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Zerny09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2009,
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
title = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
{TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
series = {Trends in Functional Programming},
volume = {10},
publisher = {Intellect},
year = {2009},
isbn = {978-1-84150-405-6},
timestamp = {Tue, 04 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BradyHH08,
author = {Edwin C. Brady and
Christoph A. Herrmann and
Kevin Hammond},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Lightweight Invariants with Full Dependent Types},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {161--177},
publisher = {Intellect},
year = {2008},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BradyHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Campbell08,
author = {Brian Campbell},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Prediction of linear memory usage for first-order functional programs},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {1--16},
publisher = {Intellect},
year = {2008},
timestamp = {Tue, 24 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Campbell08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CovinoP08,
author = {Emanuele Covino and
Giovanni Pani},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Complexity Certification of {C++} Template Metaprogramming},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {145--160},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/CovinoP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GhaniJ08,
author = {Neil Ghani and
Patricia Johann},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Short Cut Fusion for Effects},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {113--128},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GhaniJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GuillemetteM08,
author = {Louis{-}Julien Guillemette and
Stefan Monnier},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {One Vote for Type Families in Haskell!},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {81--96},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GuillemetteM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HuH08,
author = {Liyang Hu and
Graham Hutton},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Towards a Verified {STM}},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {129--144},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HuH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MiddelkoopDS08,
author = {Arie Middelkoop and
Atze Dijkstra and
S. Doaitse Swierstra},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {A Leaner Specification for GADTs},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {65--80},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MiddelkoopDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SchrijversS08,
author = {Tom Schrijvers and
Martin Sulzmann},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Confluence for Functional Dependencies},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {49--64},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SchrijversS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SculthorpeN08,
author = {Neil Sculthorpe and
Henrik Nilsson},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Optimisation of Dynamic, Hybrid Signal Function Networks},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {97--112},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SculthorpeN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SwierstraA08,
author = {Wouter Swierstra and
Thorsten Altenkirch},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Dependent Types for Distributed Arrays},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {17--32},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SwierstraA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TamaletSE08,
author = {Alejandro Tamalet and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Size Analysis of Algebraic Data Type},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {33--48},
publisher = {Intellect},
year = {2008},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TamaletSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2008,
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
publisher = {Intellect},
year = {2008},
isbn = {978-1-84150-277-9},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BradyMH07,
author = {Edwin C. Brady and
James McKinna and
Kevin Hammond},
editor = {Marco T. Moraz{\'{a}}n},
title = {Constructing Correct Circuits: Verification of Functional Aspects
of Hardware Specifications with Dependent Types},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {159--176},
publisher = {Intellect},
year = {2007},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BradyMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ConchonFS07,
author = {Sylvain Conchon and
Jean{-}Christophe Filli{\^{a}}tre and
Julien Signoles},
editor = {Marco T. Moraz{\'{a}}n},
title = {Designing a Generic Graph Library Using {ML} Functors},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {124--140},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ConchonFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EekelenSKJPS07,
author = {Marko C. J. D. van Eekelen and
Olha Shkaravska and
Ron van Kesteren and
Bart Jacobs and
Erik Poll and
Sjaak Smetsers},
editor = {Marco T. Moraz{\'{a}}n},
title = {{AHA:} Amortized Heap Space Usage Analysis},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {36--53},
publisher = {Intellect},
year = {2007},
timestamp = {Thu, 09 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/EekelenSKJPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GronskiF07,
author = {Jessica Gronski and
Cormac Flanagan},
editor = {Marco T. Moraz{\'{a}}n},
title = {Unifying Hybrid Types and Contracts},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {54--70},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GronskiF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GrovM07,
author = {Gudmund Grov and
Greg Michaelson},
editor = {Marco T. Moraz{\'{a}}n},
title = {Towards a Box Calculus for Hierarchical Hume},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {71--88},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GrovM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HermanTF07,
author = {David Herman and
Aaron Tomb and
Cormac Flanagan},
editor = {Marco T. Moraz{\'{a}}n},
title = {Space-Efficient Gradual Typing},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {1--18},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HermanTF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LakinP07,
author = {Matthew R. Lakin and
Andrew M. Pitts},
editor = {Marco T. Moraz{\'{a}}n},
title = {A Metalanguage for Structural Operational Semantics},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {19--35},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LakinP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Lindblad07,
author = {Fredrik Lindblad},
editor = {Marco T. Moraz{\'{a}}n},
title = {Property Directed Generation of First-Order Test Data},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {105--123},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Lindblad07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LoitschS07,
author = {Florian Loitsch and
Manuel Serrano},
editor = {Marco T. Moraz{\'{a}}n},
title = {Hop Client-Side Compilation},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {141--158},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LoitschS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SonmezPSCUV07,
author = {Nehir S{\"{o}}nmez and
Cristian Perfumo and
Srdjan Stipic and
Adri{\'{a}}n Cristal and
Osman S. Unsal and
Mateo Valero},
editor = {Marco T. Moraz{\'{a}}n},
title = {unreadTVar: Extending Haskell Software Transactional Memory for Performance},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {89--104},
publisher = {Intellect},
year = {2007},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SonmezPSCUV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2005,
editor = {Marko C. J. D. van Eekelen},
title = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
publisher = {Intellect},
year = {2007},
isbn = {978-1-84150-176-5},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2006,
editor = {Henrik Nilsson},
title = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
publisher = {Intellect},
year = {2007},
isbn = {978-1-84150-188-8},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2007,
editor = {Marco T. Moraz{\'{a}}n},
title = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
publisher = {Intellect},
year = {2007},
isbn = {978-1-84150-196-3},
timestamp = {Mon, 03 Jun 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ChristiansenH06,
author = {Jan Christiansen and
Frank Huch},
editor = {Henrik Nilsson},
title = {A purely functional implementation of ROBDDs in Haskell},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {55--71},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ChristiansenH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Fischer06,
author = {Sebastian Fischer},
editor = {Henrik Nilsson},
title = {Resource-based Web applications},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {181--197},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Fischer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Grabmuller06,
author = {Martin Grabm{\"{u}}ller},
editor = {Henrik Nilsson},
title = {A model of functional programming with dynamic compilation and optimization},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {145--161},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Grabmuller06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HanaiUYYY06,
author = {Ryo Hanai and
Tomoharu Ugawa and
Masashi Yoneda and
Masahiro Yasugi and
Taiichi Yuasa},
editor = {Henrik Nilsson},
title = {Memory usage improvement using runtime alias detection},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {129--144},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HanaiUYYY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JansenKP06,
author = {Jan Martin Jansen and
Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Henrik Nilsson},
title = {Efficient interpretation by transforming data types and patterns to
functions},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {73--90},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JansenKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanP06,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Henrik Nilsson},
title = {Systematic synthesis of functions},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {35--54},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LuoC06,
author = {Yong Luo and
Olaf Chitil},
editor = {Henrik Nilsson},
title = {Proving the correctness of algorithmic debugging for functional programs},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {19--34},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LuoC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MoninC06,
author = {Jean{-}Fran{\c{c}}ois Monin and
Judica{\"{e}}l Courant},
editor = {Henrik Nilsson},
title = {Proving termination using dependent types: the case of XOR-terms},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {1--18},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MoninC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Nogueira06,
author = {Pablo Nogueira},
editor = {Henrik Nilsson},
title = {When is an abstract data type a functor?},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {217--231},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Nogueira06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/OliveiraHL06,
author = {Bruno C. d. S. Oliveira and
Ralf Hinze and
Andres L{\"{o}}h},
editor = {Henrik Nilsson},
title = {Extensible and modular generics for the masses},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {199--216},
publisher = {Intellect},
year = {2006},
timestamp = {Tue, 24 Aug 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/OliveiraHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Pena-MariSM06,
author = {Ricardo Pe{\~{n}}a{-}Mar{\'{\i}} and
Clara Segura and
Manuel Montenegro},
editor = {Henrik Nilsson},
title = {A sharing analysis for {SAFE}},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {109--128},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Pena-MariSM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RaufBS06,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
editor = {Henrik Nilsson},
title = {Functional concepts in {C++}},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {163--179},
publisher = {Intellect},
year = {2006},
timestamp = {Fri, 18 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RaufBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Setzer06,
author = {Anton Setzer},
editor = {Henrik Nilsson},
title = {Object-oriented programming in dependent type theory},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {91--108},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Setzer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2004,
editor = {Hans{-}Wolfgang Loidl},
title = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
publisher = {Intellect},
year = {2006},
isbn = {1-84150-144-1},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Asai05,
author = {Kenichi Asai},
editor = {Marko C. J. D. van Eekelen},
title = {Logical relations for call-by-value delimited continuations},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {63--78},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 13:58:58 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Asai05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ChapmanAM05,
author = {James Chapman and
Thorsten Altenkirch and
Conor McBride},
editor = {Marko C. J. D. van Eekelen},
title = {Epigram reloaded: a standalone typechecker for {ETT}},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {79--94},
publisher = {Intellect},
year = {2005},
timestamp = {Sun, 20 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/ChapmanAM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Elsman05,
author = {Martin Elsman},
editor = {Marko C. J. D. van Eekelen},
title = {Type-specialized serialization with sharing},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {47--62},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Elsman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HammondDFHHJLMPSSW05,
author = {Kevin Hammond and
Roy Dyckhoff and
Christian Ferdinand and
Reinhold Heckmann and
Martin Hofmann and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Robert F. Pointon and
Norman Scaife and
Jocelyn S{\'{e}}rot and
Andy Wallace},
editor = {Marko C. J. D. van Eekelen},
title = {The Embounded project (project start paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {195--210},
publisher = {Intellect},
year = {2005},
timestamp = {Tue, 05 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HammondDFHHJLMPSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Katayama05,
author = {Susumu Katayama},
editor = {Marko C. J. D. van Eekelen},
title = {Systematic search for lambda expressions},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {111--126},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Katayama05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanP05,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Marko C. J. D. van Eekelen},
title = {Generic generation of the elements of data types},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {163--178},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Leijen05,
author = {Daan Leijen},
editor = {Marko C. J. D. van Eekelen},
title = {Extensible records with scoped labels},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {179--194},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Leijen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LiT05,
author = {Huiqing Li and
Simon J. Thompson},
editor = {Marko C. J. D. van Eekelen},
title = {Formalisation of Haskell refactorings},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {95--110},
publisher = {Intellect},
year = {2005},
timestamp = {Fri, 16 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/LiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Millikin05,
author = {Kevin Millikin},
editor = {Marko C. J. D. van Eekelen},
title = {A new approach to one-pass transformations},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {1--13},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Millikin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MitchellR05,
author = {Neil Mitchell and
Colin Runciman},
editor = {Marko C. J. D. van Eekelen},
title = {A static checker for safe pattern matching in Haskell},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {15--30},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MitchellR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Rhiger05,
author = {Morten Rhiger},
editor = {Marko C. J. D. van Eekelen},
title = {First-class open and closed code framgents},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {127--144},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Rhiger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RyderT05,
author = {Chris Ryder and
Simon J. Thompson},
editor = {Marko C. J. D. van Eekelen},
title = {Software metrics: measuring Haskell},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {31--46},
publisher = {Intellect},
year = {2005},
timestamp = {Fri, 16 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RyderT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
author = {Donald Sannella and
Martin Hofmann and
David Aspinall and
Stephen Gilmore and
Ian Stark and
Lennart Beringer and
Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Alberto Momigliano and
Olha Shkaravska},
editor = {Marko C. J. D. van Eekelen},
title = {Mobile Resource Guarantees (project evaluation paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {211--226},
publisher = {Intellect},
year = {2005},
timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/UustaluV05,
author = {Tarmo Uustalu and
Varmo Vene},
editor = {Marko C. J. D. van Eekelen},
title = {Comonadic functional attribute evaluation},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {145--162},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/UustaluV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2003,
editor = {Stephen Gilmore},
title = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
publisher = {Intellect},
year = {2005},
isbn = {1-84150-122-0},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ClericiZ04,
author = {Silvia Clerici and
Cristina Zoltan},
editor = {Hans{-}Wolfgang Loidl},
title = {A graphic functional-dataflow language},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {129--144},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ClericiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DuboisHD04,
author = {Catherine Dubois and
Th{\'{e}}r{\`{e}}se Hardin and
V{\'{e}}ronique Donzeau{-}Gouge},
editor = {Hans{-}Wolfgang Loidl},
title = {Building certified components within {FOCAL}},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {33--48},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/DuboisHD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EversAP04,
author = {Sander Evers and
Peter Achten and
Rinus Plasmeijer},
editor = {Hans{-}Wolfgang Loidl},
title = {Disjoint forms in graphical user interfaces},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {113--128},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/EversAP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GhaniUV04,
author = {Neil Ghani and
Tarmo Uustalu and
Varmo Vene},
editor = {Hans{-}Wolfgang Loidl},
title = {Generalizing the {AUGMENT} combinator},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {65--78},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GhaniUV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HuttonW04,
author = {Graham Hutton and
Joel J. Wright},
editor = {Hans{-}Wolfgang Loidl},
title = {Calculating an exceptional machine},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {49--64},
publisher = {Intellect},
year = {2004},
timestamp = {Wed, 07 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HuttonW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KesterenEM04,
author = {Ron van Kesteren and
Marko C. J. D. van Eekelen and
Maarten de Mol},
editor = {Hans{-}Wolfgang Loidl},
title = {Proof support for generic type classes},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {1--16},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KesterenEM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Nemeth04,
author = {L{\'{a}}szl{\'{o}} N{\'{e}}meth},
editor = {Hans{-}Wolfgang Loidl},
title = {Experiments with GHC's optimiser},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {97--111},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Nemeth04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Reig04,
author = {Ferm{\'{\i}}n Reig},
editor = {Hans{-}Wolfgang Loidl},
title = {Generic proofs for combinator-based generic programs},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {17--32},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Reig04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RossbergBTBS04,
author = {Andreas Rossberg and
Didier Le Botlan and
Guido Tack and
Thorsten Brunklaus and
Gert Smolka},
editor = {Hans{-}Wolfgang Loidl},
title = {Alice through the looking glass},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {79--95},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RossbergBTBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BoisTL03,
author = {Andr{\'{e}} Rauber Du Bois and
Philip W. Trinder and
Hans{-}Wolfgang Loidl},
editor = {Stephen Gilmore},
title = {Implementing Mobile Haskell},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {79--94},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 12:00:20 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BoisTL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hammond03,
author = {Kevin Hammond},
editor = {Stephen Gilmore},
title = {Is it time for real-time functional programming?},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {1--18},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Hammond03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KoopmanP03,
author = {Pieter W. M. Koopman and
Rinus Plasmeijer},
editor = {Stephen Gilmore},
title = {Testing reactive systems with {GAST}},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {111--129},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KoopmanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MacKenzieW03,
author = {Kenneth MacKenzie and
Nicholas Wolverson},
editor = {Stephen Gilmore},
title = {Camelot and Grail: resource-aware functional programming for the {JVM}},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {29--46},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MacKenzieW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MichaelsonHS03,
author = {Greg Michaelson and
Kevin Hammond and
Jocelyn S{\'{e}}rot},
editor = {Stephen Gilmore},
title = {FSM-Hume is finite state},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {19--28},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MichaelsonHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Singer03,
author = {Jeremy Singer},
editor = {Stephen Gilmore},
title = {Static single information from a functional perspective},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {63--78},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Singer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Widera03,
author = {Manfred Widera},
editor = {Stephen Gilmore},
title = {Testing Scheme programming assignments automatically},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {95--110},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Widera03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WolversonM03,
author = {Nicholas Wolverson and
Kenneth MacKenzie},
editor = {Stephen Gilmore},
title = {O'Camelot: adding objects to a resource-aware functional language},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {47--62},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/WolversonM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/sfp/BakewellR00,
author = {Adam Bakewell and
Colin Runciman},
editor = {Stephen Gilmore},
title = {The space usage problem: An evaluation kit for graph reduction semantics},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {115--128},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BakewellR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BrownGM00,
author = {Deryck Forsyth Brown and
A. Beatriz Garmendia{-}Doval and
John A. W. McCall},
editor = {Stephen Gilmore},
title = {A functional framework for the implementation of genetic algorithms:
Comparing Haskell and Standard {ML}},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {27--38},
publisher = {Intellect},
year = {2000},
timestamp = {Thu, 29 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BrownGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CopeGH00,
author = {Michelle Cope and
Ian P. Gent and
Kevin Hammond},
editor = {Stephen Gilmore},
title = {Parallel heuristic search in Haskell},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {65--76},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/CopeGH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Curtis00,
author = {Sharon Curtis},
editor = {Stephen Gilmore},
title = {An application of functional programming: quilting},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {145--158},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Curtis00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Faxen00,
author = {Karl{-}Filip Fax{\'{e}}n},
editor = {Stephen Gilmore},
title = {The costs and benefits of cloning in a lazy functional language},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {1--12},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Faxen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hidalgo-HerreroO00,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Stephen Gilmore},
title = {A distributed operational semantics for a parallel functional language},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {89--102},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Hidalgo-HerreroO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KlusikLP00,
author = {Ulrike Klusik and
Rita Loogen and
Steffen Priebe},
editor = {Stephen Gilmore},
title = {Controlling parallelism and data distribution in Eden},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {53--64},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/KlusikLP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LoidlKHLT00,
author = {Hans{-}Wolfgang Loidl and
Ulrike Klusik and
Kevin Hammond and
Rita Loogen and
Philip W. Trinder},
editor = {Stephen Gilmore},
title = {GpH and Eden: Comparing two parallel functional languages on a Beowulf
cluster},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {39--52},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/LoidlKHLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Loulergue00,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Stephen Gilmore},
title = {Parallel composition and bulk synchronous parallel functional programming},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {77--88},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Loulergue00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/McAdamKB00,
author = {Bruce J. McAdam and
Andrew Kennedy and
Nick Benton},
editor = {Stephen Gilmore},
title = {Type inference for MLj},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {159--172},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/McAdamKB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ParejaPRS00,
author = {Crist{\'{o}}bal Pareja and
Ricardo Pena and
Fernando Rubio and
Clara Segura},
editor = {Stephen Gilmore},
title = {Optimising Eden by transformation},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {13--26},
publisher = {Intellect},
year = {2000},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/ParejaPRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Serot00,
author = {Jocelyn S{\'{e}}rot},
editor = {Stephen Gilmore},
title = {{CAMLFLOW:} a {CAML} to data-flow graph translator},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {129--144},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Serot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TrinderPL00,
author = {Philip W. Trinder and
Robert F. Pointon and
Hans{-}Wolfgang Loidl},
editor = {Stephen Gilmore},
title = {Runtime system level fault tolerance for a distributed functional
language},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {103--114},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/TrinderPL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WideraB00,
author = {Manfred Widera and
Christoph Beierle},
editor = {Stephen Gilmore},
title = {Detecting common elements of types},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {173--184},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/WideraB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/1999,
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
publisher = {Intellect},
year = {2000},
isbn = {1-84150-024-0},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2000,
editor = {Stephen Gilmore},
title = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
publisher = {Intellect},
year = {2000},
isbn = {1-84150-058-5},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Baker-Finch99,
author = {Clement A. Baker{-}Finch},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {An Abstract Machine for Parallel Lazy Evaluation},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {154--160},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 13:23:19 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Baker-Finch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BakerJK99,
author = {Paul Baker and
Clive Jervis and
David J. King},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {An Industrial use of {FP:} {A} Tool for Generating Test Scripts from
System Specifications},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {126--134},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BakerJK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BallereauLH99,
author = {Olivier Ballereau and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Ga{\'{e}}tan Hains},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {High Level {BSP} Programming: {BSML} and BSlambda},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {29--40},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/BallereauLH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/DoschW99,
author = {Walter Dosch and
Bernd Wiedemann},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {List Homomorphisms with Accumulation and Indexing},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {135--143},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/DoschW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Gilmore99,
author = {Stephen Gilmore},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Deep Type Inference for Mobile Functions},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {41--49},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Gilmore99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GreenA99,
author = {Mark Green and
Ali E. Abdallah},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Interfacing Java with Haskell},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {79--88},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/GreenA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HayashiC99,
author = {Yasushi Hayashi and
Murray Cole},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {BSP-based Cost Analysis of Skeletal Programs},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {20--28},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HayashiC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HernandezPR99,
author = {Felix Hernandez and
Ricardo Pena and
Fernando Rubio},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {From GranSim to Paradise},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {11--19},
publisher = {Intellect},
year = {1999},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/HernandezPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KlusikPS99,
author = {Ulrike Klusik and
Ricardo Pena and
Clara Segura},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Bypassing of Channels in Eden},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {2--10},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/KlusikPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Lammel99,
author = {Ralf L{\"{a}}mmel},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Reuse by Program Transformation},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {144--153},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Lammel99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/McAdam99,
author = {Bruce J. McAdam},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Generalising Techniques for Type Debugging},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {50--58},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/McAdam99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MorazanT99,
author = {Marco T. Moraz{\'{a}}n and
Douglas R. Troeger},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {The {MT} Architecture and Allocation Algorithm},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {98--105},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/MorazanT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RabhiLZ99,
author = {Fethi A. Rabhi and
Guy Lapalme and
Albert Y. Zomaya},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {A Functional Design Framework for Genetic Algorithms},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {116--125},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/RabhiLZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Walton99,
author = {Christopher D. Walton},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {An Abstract Machine for Memory Management},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {89--97},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Walton99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WideraB99,
author = {Manfred Widera and
Christoph Beierle},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {How to Combine the Benefits of Strict and Soft Typing},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {68--78},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/WideraB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WooH99,
author = {Gyun Woo and
Taisook Han},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {ZG-machine: a Space-Efficient G-machine},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {106--115},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/WooH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Yang99,
author = {Jun Yang},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {Explaining Type Errors by Finding the Source of a Type Conflict},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {59--67},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Yang99.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-23 23: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:
