FARM 2023 – Proceedings

11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM 2023)

Frontmatter

Keynote

Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)
Gloria Cheng
(University of California at Los Angeles, USA)


@InProceedings{FARM23p1, author = {Gloria Cheng}, title = {Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3609023.3615582}, year = {2023}, } Publisher's Version

Session 1

Weighted Refinement Types for Counterpoint Composition
Youyou Cong
(Tokyo Institute of Technology, Japan)


@InProceedings{FARM23p16, author = {Youyou Cong}, title = {Weighted Refinement Types for Counterpoint Composition}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3609023.3609804}, year = {2023}, } Publisher's Version

The Beauty and Elegance of Functional Reactive Animation
Ivan Perez
(Unaffiliated, USA)


@InProceedings{FARM23p31, author = {Ivan Perez}, title = {The Beauty and Elegance of Functional Reactive Animation}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3609023.3609806}, year = {2023}, } Publisher's Version

Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript
Allister Beharry
(University of London, UK)


@InProceedings{FARM23p46, author = {Allister Beharry}, title = {Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609023.3609808}, year = {2023}, } Publisher's Version

Session 2

Exploring Self-Embedded Knitting Programs with Twine
Amy Zhu, Adriana Schulz, and Zachary Tatlock
(University of Washington, USA)


@InProceedings{FARM23p61, author = {Amy Zhu and Adriana Schulz and Zachary Tatlock}, title = {Exploring Self-Embedded Knitting Programs with Twine}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3609023.3609805}, year = {2023}, } Publisher's Version

Homotopy Type Theory for Sewn Quilts
Charlotte Clark and Rose Bohrer
(Worcester Polytechnic Institute, USA)


@InProceedings{FARM23p76, author = {Charlotte Clark and Rose Bohrer}, title = {Homotopy Type Theory for Sewn Quilts}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3609023.3609803}, year = {2023}, } Publisher's Version

Demo: Sonic Catalog of Rare Diseases
Stephen Taylor and Aditi Kantipuly
(University of Illinois at Urbana-Champaign, USA; McGill University, Canada)


@InProceedings{FARM23p91, author = {Stephen Taylor and Aditi Kantipuly}, title = {Demo: Sonic Catalog of Rare Diseases}, booktitle = {Proc.\ FARM}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3609023.3609807}, year = {2023}, } Publisher's Version

proc time: 0.75