Cited By
View all- Ahmed AJamner DSiek JWadler P(2017)Theorems for free for free: parametricity, with and without typesProceedings of the ACM on Programming Languages10.1145/31102831:ICFP(1-28)Online publication date: 29-Aug-2017
- Hardock SPetrov IGottstein RBuchmann A(2013)NoFTLProceedings of the VLDB Endowment10.14778/2536274.25362956:12(1278-1281)Online publication date: 1-Aug-2013
- Shkapsky AZeng KZaniolo C(2013)Graph queries in a next-generation Datalog systemProceedings of the VLDB Endowment10.14778/2536274.25362906:12(1258-1261)Online publication date: 1-Aug-2013
- Show More Cited By