Search dblp for Publications

export results for "toc:db/conf/sfp/tfp2022.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.