Homotopy Type Theory for Sewn Quilts
Homotopy Type Theory for Sewn Quilts
复制标题
缝被子的同伦类型理论
DOI：
10.1145/3609023.3609803
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Bohrer, Rose
中科院分区：
文献类型：
--
作者：
Clark, Charlotte;Bohrer, Rose
本文介绍了PieceWork，一个强制性的编程语言，用于缝制被子的设计，其语义的启发同伦类型理论的建设。PieceWork的目标包括提高缝纫设计的多样性，可以用计算方法表示，展示同伦类型理论的创造性应用，并证明绗缝工艺是编程语言理论中值得研究的对象。 我们开发了一个操作语义，提供了一个原型实现和例子，并提供初步的理论结果。型号系统设计正在进行中。
This paper introduces PieceWork, an imperative programming language for the construction of designs for sewn quilts, whose semantics are inspired by Homotopy Type Theory. The goals of PieceWork include improving the diversity of sewn designs that can be represented in computational methods, demonstrating a creative application of Homotopy Type Theory, and demonstrating that the craft of quilting is a worthy object of study in programming language theory. We develop an operational semantics, provide a prototype implementation and examples, and provide initial theoretical results. Type system design is in-progress.
登录
查看更多内容
基于草图的巴杰罗被子设计
DOI：
10.2312/sbm/sbm05/165-174
发表时间：
2005
期刊：
Evidence Based Mental Health
影响因子：
--
作者：
Marge M. Coahran;E. Fiume
通讯作者：
E. Fiume
DOI：
10.1184/r1/14555691.v1
发表时间：
2021
期刊：
ACM Transactions on Graphics (TOG)
影响因子：
--
作者：
Evan Cavallo
通讯作者：
Evan Cavallo
DOI：
10.1145/3092919.3092925
发表时间：
2017
期刊：
Proceedings of the 13th Conference on Creativity and Cognition
影响因子：
--
作者：
Chenxi Liu;J. Hodgins;J. McCann
通讯作者：
J. McCann
TWAM：逻辑程序的验证抽象机
DOI：
10.1007/978-3-030-03592-1_7
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Rose Bohrer;Karl Crary
通讯作者：
Karl Crary
证明相关的统一：仅与类型理论的公理进行依赖模式匹配
影响因子：
1.1
作者：
Jesper Cockx;Dominique Devriese
通讯作者：
Dominique Devriese