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 Article: icfpws23farmmain-key1-p doi:10.1145/3609023.3615582

Session 1

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

Publisher's Version Article: icfpws23farmmain-p2-p doi:10.1145/3609023.3609804

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

Publisher's Version Article: icfpws23farmmain-p6-p doi:10.1145/3609023.3609806

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

Publisher's Version Article: icfpws23farmmain-p8-p doi:10.1145/3609023.3609808

Session 2

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

Publisher's Version Article: icfpws23farmmain-p5-p doi:10.1145/3609023.3609805

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

Publisher's Version Article: icfpws23farmmain-p1-p doi:10.1145/3609023.3609803

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

Publisher's Version Article: icfpws23farmmain-p7-p doi:10.1145/3609023.3609807

proc time: 0.01