YoVDO

Homotopy Type Theory for Sewn Quilts

Offered By: ACM SIGPLAN via YouTube

Tags

Homotopy Type Theory Courses Programming Languages Courses Quilting Courses Type System Courses Creative Coding Courses Semantics Courses Imperative Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

[FARM'23] Homotopy Type Theory for Sewn Quilts


Taught by

ACM SIGPLAN

Related Courses

中级汉语语法 | Intermediate Chinese Grammar
Peking University via edX Miracles of Human Language: An Introduction to Linguistics
Leiden University via Coursera Introduction to Natural Language Processing
University of Michigan via Coursera Linguaggio, identità di genere e lingua italiana
Ca' Foscari University of Venice via EduOpen Natural Language Processing
Indian Institute of Technology, Kharagpur via Swayam