Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek. Taxon: a Language for Formal Reasoning with Digital Fabrication Machines. In Jeffrey Nichols, Ranjitha Kumar, Michael Nebeling, editors, UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, Virtual Event, USA, October 10-14, 2021. pages 691-709, ACM, 2021. [doi]
Abstract is missing.