Cited By
View all- Belyakova JChung BTate RVitek J(2024)Decidable Subtyping of Existential Types for JuliaProceedings of the ACM on Programming Languages10.1145/36564218:PLDI(1091-1114)Online publication date: 20-Jun-2024
- Bharadwaj VRao M(2016)Compiler optimization for superscalar and pipelined processors2016 IEEE Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER)10.1109/DISCOVER.2016.7806224(232-236)Online publication date: Aug-2016
- Tan JTay HGandhi RNarasimhan P(2015)AUSPICERevised Selected Papers of the 7th International Conference on Verified Software: Theories, Tools, and Experiments - Volume 959310.1007/978-3-319-29613-5_12(202-222)Online publication date: 18-Jul-2015
- Show More Cited By