Baidu
map

Homotopy Type Theory for Sewn Quilts

Clark, C; Bohrer, R

Clark, C (通讯作者),Worcester Polytech Inst, Worcester, MA 01609 USA.

PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL ART, MUSIC, MODELLING, AND DESIGN, FARM 2023, 2023; (): 32

Abstract

This paper introduces PieceWork, an imperative programming language for the construction of designs for sewn quilts, whose semantics are inspired by H......

Full Text Link


Baidu
map
Baidu
map
Baidu
map