Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design
ICFP, 2018.
@article{ICFP-2018-NandiWPBGT,
author = "Chandrakana Nandi and James R. Wilcox and Pavel Panchekha and Taylor Blau and Dan Grossman and Zachary Tatlock",
doi = "10.1145/3236794",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "31",
title = "{Functional programming for compiling and decompiling computer-aided design}",
volume = 2,
year = 2018,
}