Cited By
View all- Oliveira BShi ZAlpuim J(2016)Disjoint intersection typesACM SIGPLAN Notices10.1145/3022670.295194551:9(364-377)Online publication date: 4-Sep-2016
- Gilray TAdams MMight M(2016)Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysisACM SIGPLAN Notices10.1145/3022670.295193651:9(407-420)Online publication date: 4-Sep-2016
- Darais DVan Horn D(2016)Constructive Galois connections: taming the Galois connection framework for mechanized metatheoryACM SIGPLAN Notices10.1145/3022670.295193451:9(311-324)Online publication date: 4-Sep-2016
- Show More Cited By