Homotopy Type Theory for Sewn Quilts

Explore a 27-minute video presentation from the FARM 2023 conference introducing PieceWork, an innovative imperative programming language for designing sewn quilts. Discover how the semantics of this language draw inspiration from Homotopy Type Theory, aiming to expand the diversity of computational quilt designs and showcase quilting as a subject worthy of programming language theory study. Learn about the operational semantics, prototype implementation, and initial theoretical results of PieceWork. Gain insights into the intersection of creative coding, computational craft, and advanced mathematical concepts as presenters Charlotte Clark and Rose Bohrer from Worcester Polytechnic Institute demonstrate a unique application of Homotopy Type Theory in the realm of textile arts.

[FARM'23] Homotopy Type Theory for Sewn Quilts