Cited By
View all- Foner KZhang HLampropoulos L(2018)Keep your laziness in checkProceedings of the ACM on Programming Languages10.1145/32367972:ICFP(1-30)Online publication date: 30-Jul-2018
- Nandi CWilcox JPanchekha PBlau TGrossman DTatlock Z(2018)Functional programming for compiling and decompiling computer-aided designProceedings of the ACM on Programming Languages10.1145/32367942:ICFP(1-31)Online publication date: 30-Jul-2018
- Wagner IEckhoff D(2018)Technical Privacy MetricsACM Computing Surveys10.1145/316838951:3(1-38)Online publication date: 12-Jun-2018
- Show More Cited By