Search dblp for Publications

export results for "toc:db/conf/farm/farm2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/farm/Beharry23,
  author       = {Allister Beharry},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Demo: {A} Functional {EDSL} for Mathematics Visualization That Compiles
                  to JavaScript},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {21--24},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609808},
  doi          = {10.1145/3609023.3609808},
  timestamp    = {Wed, 20 Sep 2023 15:34:05 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/Beharry23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/Cheng23,
  author       = {Gloria Cheng},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3615582},
  doi          = {10.1145/3609023.3615582},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/Cheng23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/ClarkB23,
  author       = {Charlotte Clark and
                  Rose Bohrer},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Homotopy Type Theory for Sewn Quilts},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {32--43},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609803},
  doi          = {10.1145/3609023.3609803},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/ClarkB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/Cong23,
  author       = {Youyou Cong},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Weighted Refinement Types for Counterpoint Composition},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {2--7},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609804},
  doi          = {10.1145/3609023.3609804},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/Cong23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/Perez23,
  author       = {Ivan Perez},
  editor       = {Mae Milano and
                  John Leo},
  title        = {The Beauty and Elegance of Functional Reactive Animation},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {8--20},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609806},
  doi          = {10.1145/3609023.3609806},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/Perez23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/TaylorK23,
  author       = {Stephen Taylor and
                  Aditi Kantipuly},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Demo: Sonic Catalog of Rare Diseases},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {44--46},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609807},
  doi          = {10.1145/3609023.3609807},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/TaylorK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/farm/ZhuST23,
  author       = {Amy Zhu and
                  Adriana Schulz and
                  Zachary Tatlock},
  editor       = {Mae Milano and
                  John Leo},
  title        = {Exploring Self-Embedded Knitting Programs with Twine},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  pages        = {25--31},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023.3609805},
  doi          = {10.1145/3609023.3609805},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/ZhuST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/farm/2023,
  editor       = {Mae Milano and
                  John Leo},
  title        = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Functional Art, Music, Modelling, and Design, {FARM} 2023, Seattle,
                  WA, USA, 8 September 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3609023},
  doi          = {10.1145/3609023},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/farm/2023.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.