Cited By
View all- Nguyen NTruong AThang HHu ZBui MSikdar BIDE IBinh HEngchuan WSang DOanh N(2017)A Compositional Type Systems for Finding Log Memory Bounds of Transactional ProgramsProceedings of the 8th International Symposium on Information and Communication Technology10.1145/3155133.3155183(409-416)Online publication date: 7-Dec-2017
- Dolan SMycroft A(2017)Polymorphism, subtyping, and type inference in MLsubACM SIGPLAN Notices10.1145/3093333.300988252:1(60-72)Online publication date: 1-Jan-2017
- Li HBerenger FChang BRival X(2017)Semantic-directed clumping of disjunctive abstract statesACM SIGPLAN Notices10.1145/3093333.300988152:1(32-45)Online publication date: 1-Jan-2017
- Show More Cited By