Simple Reference Immutability for System F

Edward Lee, Ondrej Lhoták. Simple Reference Immutability for System F. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):857-881, October 2023. [doi]

Authors

Edward Lee

This author has not been identified. Look up 'Edward Lee' in Google

Ondrej Lhoták

This author has not been identified. It may be one of the following persons: Look up 'Ondrej Lhoták' in Google