C to checked C by 3c

Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks 0001. C to checked C by 3c. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-29, 2022. [doi]

Authors

Aravind Machiry

This author has not been identified. Look up 'Aravind Machiry' in Google

John Kastner

This author has not been identified. Look up 'John Kastner' in Google

Matt McCutchen

This author has not been identified. Look up 'Matt McCutchen' in Google

Aaron Eline

This author has not been identified. Look up 'Aaron Eline' in Google

Kyle Headley

This author has not been identified. Look up 'Kyle Headley' in Google

Michael Hicks 0001

This author has not been identified. Look up 'Michael Hicks 0001' in Google