The higher equality structures of homotopy type theory (HoTT) lend the field to topological interpretations in visualizations. In this work, we take these interpretations to their logical extreme in the development of PieceWork, a programming language to represent sewn quilts. We leverage several layers of equality to represent quilts as geometric shapes which can be manipulated in several ways, such as cutting into smaller shapes or sewn together to form an intricate design.

Creator

• Clark, Charlotte

贡献者

• Bohrer, Rose

Degree

• MS

Unit

• Computer Science

Publisher

• Worcester Polytechnic Institute

Identifier

• etd-104101

关键词

• Programming Language
• Quilts
• Homotopy Type Theory

Advisor

• Bohrer, Rose

Defense date

• 2023-04-20

Year

• 2023

Date created

• 2023-04-20

Resource type

• Thesis

Source

• etd-104101

Rights statement

• In Copyright

最新修改

• 2023-06-06