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]

@inproceedings{NandiCGT17,
  title = {Programming Language Tools and Techniques for 3D Printing},
  author = {Chandrakana Nandi and Anat Caspi and Dan Grossman and Zachary Tatlock},
  year = {2017},
  doi = {10.4230/LIPIcs.SNAPL.2017.10},
  url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.10},
  researchr = {https://researchr.org/publication/NandiCGT17},
  cites = {0},
  citedby = {0},
  booktitle = {2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA},
  editor = {Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi},
  volume = {71},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-032-3},
}