Taxon: a Language for Formal Reasoning with Digital Fabrication Machines.

Jasper Tran O'Leary, Chandrakana Nandi, Khang Lee, Nadya Peek

Browse the full UIST paper archive.