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