Cited By
View all- Drăgoi CWidder JZufferey D(2020)Programming at the edge of synchronyProceedings of the ACM on Programming Languages10.1145/34282814:OOPSLA(1-30)Online publication date: 13-Nov-2020
- Gulwani SLe VRadhakrishna ARadiček IRaza M(2020)Structure interpretation of text formatsProceedings of the ACM on Programming Languages10.1145/34282804:OOPSLA(1-29)Online publication date: 13-Nov-2020
- Newcomb JAdams AJohnson SBodik RKamil S(2020)Verifying and improving Halide’s term rewriting system with program synthesisProceedings of the ACM on Programming Languages10.1145/34282344:OOPSLA(1-28)Online publication date: 13-Nov-2020
- Show More Cited By