Cited By
View all- Çiçek EQu WBarthe GGaboardi MGarg DMcKinley KFisher K(2019)Bidirectional type checking for relational propertiesProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314603(533-547)Online publication date: 8-Jun-2019
- AGUIRRE ABARTHE GGABOARDI MGARG DSTRUB P(2019)A relational logic for higher-order programsJournal of Functional Programming10.1017/S095679681900014529Online publication date: 21-Oct-2019
- Drumond MDaglis AMirzadeh NUstiugov DPicorel JFalsafi BGrot BPnevmatikatos D(2018)Algorithm/Architecture Co-Design for Near-Memory ProcessingACM SIGOPS Operating Systems Review10.1145/3273982.327399252:1(109-122)Online publication date: 28-Aug-2018
- Show More Cited By