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)

Publisher's Version

Session 1

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version Video

Session 2

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version

proc time: 0.98