Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guannan Wei 0001, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf. Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proceedings of the ACM on Programming Languages, 8(POPL):393-424, January 2024. [doi]

This 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 'Songlin Jia' in GoogleThis author has not been identified. Look up 'Yuyan Bao' in GoogleThis author has not been identified. Look up 'Tiark Rompf' in Google

runs on WebDSL