Web Reference: Jul 11, 2023 · We construct a calculus System F-sub-M which encodes a reference immutability system as a simple extension of F-sub and prove that it satisfies the standard soundness and immutability safety properties. Our hope is to enable reference immutability systems in functional languages by giving simple, sound foundations in System F
YouTube Excerpt: Simple Reference Immutability for
Information Profile Overview
Oopsla23 Simple Reference Immutability For - Latest Information & Updates 2026 Information & Biography
![[OOPSLA23] Simple Reference Immutability for System F-sub Details](https://i.ytimg.com/vi/TttfV6ojjtg/mqdefault.jpg)
Details: $72M - $88M
Salary & Income Sources
Career Highlights & Achievements
![[OOPSLA23] Explainable Program Synthesis by Localizing Specifications Information](https://i.ytimg.com/vi/pTePKCyX4nA/mqdefault.jpg)
![[OOPSLA23] Rhombus: A New Spin on Macros without All the Parentheses Net Worth](https://i.ytimg.com/vi/hkiy1rmKA48/mqdefault.jpg)
![[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis Net Worth](https://i.ytimg.com/vi/IhBOsI0Cx48/mqdefault.jpg)
Assets, Properties & Investments
This section covers known assets, real estate holdings, luxury vehicles, and investment portfolios. Data is compiled from public records, financial disclosures, and verified media reports.
Last Updated: April 2, 2026
Information Outlook & Future Earnings
![[OOPSLA23] Mutually Iso-Recursive Subtyping Details](https://i.ytimg.com/vi/oJk04XWLu14/mqdefault.jpg)
Disclaimer: Disclaimer: Information provided here is based on publicly available data, media reports, and online sources. Actual details may vary.