Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sfp/tfp2023.bht:"
@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} }
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.