![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/sfp/tfp2017.bht:"
@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} }
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.