Cited By
View all- Buro SCrole RMastroeni I(2020)On Multi-language AbstractionStatic Analysis10.1007/978-3-030-65474-0_14(310-332)Online publication date: 18-Nov-2020
- New MAhmed A(2018)Graduality from embedding-projection pairsProceedings of the ACM on Programming Languages10.1145/32367682:ICFP(1-30)Online publication date: 30-Jul-2018
- New MBowman WAhmed A(2016)Fully abstract compilation via universal embeddingACM SIGPLAN Notices10.1145/3022670.295194151:9(103-116)Online publication date: 4-Sep-2016
- Show More Cited By