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}
}

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.