Programming Language Tools and Techniques for 3D Printing

Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock. Programming Language Tools and Techniques for 3D Printing. In Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, 2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. Volume 71 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]