Reachability types: tracking aliasing and separation in higher-order functional programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuyan Bao, Guannan Wei 0001, Oliver Bracevac, Yuxuan Jiang 0006, Qiyang He, Tiark Rompf. Reachability types: tracking aliasing and separation in higher-order functional programs. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-32, 2021. [doi]

This author has not been identified. Look up 'Yuyan Bao' in GoogleThis author has not been identified. Look up 'Guannan Wei 0001' in GoogleThis author has not been identified. Look up 'Oliver Bracevac' in GoogleThis author has not been identified. Look up 'Yuxuan Jiang 0006' in GoogleThis author has not been identified. Look up 'Qiyang He' in GoogleThis author has not been identified. Look up 'Tiark Rompf' in Google

runs on WebDSL