ICFP Workshops 2023
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM 2023), September 8, 2023, Seattle, WA, USA

FARM 2023 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs

Keynote

Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)
Gloria Cheng ORCID logo
(University of California at Los Angeles, USA)
Publisher's Version

Session 1

Weighted Refinement Types for Counterpoint Composition
Youyou CongORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version
The Beauty and Elegance of Functional Reactive Animation
Ivan Perez ORCID logo
(Unaffiliated, USA)
Publisher's Version
Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript
Allister Beharry ORCID logo
(University of London, UK)
Publisher's Version Video

Session 2

Exploring Self-Embedded Knitting Programs with Twine
Amy Zhu ORCID logo, Adriana Schulz ORCID logo, and Zachary Tatlock ORCID logo
(University of Washington, USA)
Publisher's Version
Homotopy Type Theory for Sewn Quilts
Charlotte Clark ORCID logo and Rose Bohrer ORCID logo
(Worcester Polytechnic Institute, USA)
Publisher's Version
Demo: Sonic Catalog of Rare Diseases
Stephen Taylor ORCID logo and Aditi Kantipuly ORCID logo
(University of Illinois at Urbana-Champaign, USA; McGill University, Canada)
Publisher's Version

proc time: 3.41