Cited By
View all- Zhang XShehata ABenes BAliaga D(2020)Automatic Deep Inference of Procedural Cities from Global-scale Spatial DataACM Transactions on Spatial Algorithms and Systems10.1145/34234227:2(1-28)Online publication date: 27-Oct-2020
- Selsam DHudon Sde Moura L(2020)Sealing pointer-based optimizations behind pure functionsProceedings of the ACM on Programming Languages10.1145/34089974:ICFP(1-20)Online publication date: 3-Aug-2020
- Giarrusso PStefanesco LTimany ABirkedal LKrebbers R(2020)Scala step-by-step: soundness for DOT with step-indexed logical relations in IrisProceedings of the ACM on Programming Languages10.1145/34089964:ICFP(1-29)Online publication date: 3-Aug-2020
- Show More Cited By